pub const ENCODING_ENC_NAND_P_P_PP_Z: ENCODING = 3262;