Constant RANGE_CHECK_TRACE_WIDTH 

pub const RANGE_CHECK_TRACE_WIDTH: usize = 2;