pub const I32X4_MUL: u32 = 0x7f;