pub const ENCODING_ENC_TST_ANDS_32_LOG_SHIFT: ENCODING = 1708;