pub const ENCODING_ENC_SMIN_Z_ZI_: ENCODING = 3379;