pub const ENCODING_ENC_ZIP1_Z_ZZ_Q: ENCODING = 3782;