pub const OP_BITS_EXTRA_COLS_RANGE: Range<usize>;
Location of the operation bits extra columns (for degree reduction) in the decoder trace.