pub const ENCODING_ENC_UMLALT_Z_ZZZI_S: ENCODING = 3668;