libcrux_sha3_simd_portable_load_block_a1_5b
libcrux_sha3_simd_portable_load_block_a1_5b(self, blocks, start);
libcrux_sha3_simd_portable_load_block_a1_5b(&self->inner, borrowed,
libcrux_sha3_simd_portable_load_block_a1_5b(