pub const ENCODING_ENC_UMULH_Z_ZZ_: ENCODING = 3681;