pub const ENCODING_ENC_UDOT_Z_ZZZ_: ENCODING = 3649;