pub const ENCODING_ENC_SMOV_ASIMDINS_W_W: ENCODING = 1312;