Symbol: SOLV_DEBUG_TO_STDERR