libcrux_sha3_generic_keccak_squeeze_next_block_fc1
libcrux_sha3_generic_keccak_squeeze_next_block_fc1(s, buf);
libcrux_sha3_generic_keccak_squeeze_next_block_fc1(s, o1);
libcrux_sha3_generic_keccak_squeeze_next_block_fc1(s, o2);
libcrux_sha3_generic_keccak_squeeze_next_block_fc1(&s, o);
libcrux_sha3_generic_keccak_squeeze_next_block_fc1(s, o1);
libcrux_sha3_generic_keccak_squeeze_next_block_fc1(s, o2);
libcrux_sha3_generic_keccak_squeeze_next_block_fc1(s, o3);
libcrux_sha3_generic_keccak_squeeze_next_block_fc1(s, o4);