pub const I32X4_SHR_U: u32 = 0x78;