Constant RANGE_CHECK_AUX_TRACE_RANGE 

pub const RANGE_CHECK_AUX_TRACE_RANGE: Range<usize>;