pub const ENCODING_ENC_PUNPKHI_P_P_: ENCODING = 3315;