pub const ENCODING_ENC_USHLLT_Z_ZI_: ENCODING = 3744;