pub const I64X2_SHR_U: u32 = 0x89;