unsafe extern "unadjusted" fn vmxf( a: vector_signed_int, b: vector_signed_int, ) -> vector_signed_int