pub const ENCODING_ENC_FRECPS_Z_ZZ_: ENCODING = 2943;