pub const ENCODING_ENC_PTRUE_P_S_: ENCODING = 3313;