unsafe extern "C" fn sha256rnds2( a: Simd<i32, 4>, b: Simd<i32, 4>, k: Simd<i32, 4>, ) -> Simd<i32, 4>