pub const M_COL_IDX: usize = RANGE_CHECK_TRACE_OFFSET; // 49usize
A column to hold the multiplicity of how many times the value is being range-checked.