pub const I32X4_ADD_SATURATE_U: u32 = 0x7b;