pub const ENCODING_ENC_UMLALT_Z_ZZZ_: ENCODING = 3666;