Constant miden_air::trace::RANGE_CHECK_AUX_TRACE_RANGE

pub const RANGE_CHECK_AUX_TRACE_RANGE: Range<usize>;