pub const ENCODING_ENC_MUL_ASIMDELEM_R: ENCODING = 1116;