pub const ENCODING_ENC_RDFFR_P_F_: ENCODING = 3321;