pub const I64X2_SHR_S: u32 = 0x88;