pub const ENCODING_ENC_ANDS_32_LOG_SHIFT: ENCODING = 33;