pub const ENCODING_ENC_WHILELT_P_P_RR_: ENCODING = 3774;