pub const ENCODING_ENC_ZIP2_Z_ZZ_: ENCODING = 3784;