pub const RANGE_CHECK_TRACE_RANGE: Range<usize>;