pub const ENCODING_ENC_SMULLT_Z_ZZ_: ENCODING = 3404;