pub const F32X4_LT: u32 = 0x42;