pub const ENCODING_ENC_SMLALT_Z_ZZZ_: ENCODING = 3385;