pub const ENCODING_ENC_ORR_32_LOG_SHIFT: ENCODING = 1143;