pub const I32X4_SHR_S: u32 = 0x77;