pub const ENCODING_ENC_AND_32_LOG_SHIFT: ENCODING = 37;