libcrux_sha3_simd_portable_load_block_a1_b2
libcrux_sha3_simd_portable_load_block_a1_b2(self, input, start);
libcrux_sha3_simd_portable_load_block_a1_b2(&self->inner, &borrowed, (size_t)0U);
libcrux_sha3_simd_portable_load_block_a1_b2(&self->inner, inputs, start);