pub const ENCODING_ENC_SMULH_Z_P_ZZ_: ENCODING = 3399;