libcrux_sha3_generic_keccak_squeeze_next_block_fc0
libcrux_sha3_generic_keccak_squeeze_next_block_fc0(&s, o);
libcrux_sha3_generic_keccak_squeeze_next_block_fc0(&s, o);
libcrux_sha3_generic_keccak_squeeze_next_block_fc0(s, buf);