pub const ENCODING_ENC_UMULLT_Z_ZZI_D: ENCODING = 3686;