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