pub const ENCODING_ENC_WRFFR_F_P_: ENCODING = 3777;