pub const ENCODING_ENC_UMLALT_Z_ZZZI_D: ENCODING = 3667;