pub const ENCODING_ENC_RSHRNT_Z_ZI_: ENCODING = 3332;