libcrux_sha3_generic_keccak_xof_absorb_35_c60
libcrux_sha3_generic_keccak_xof_absorb_35_c60(self, buf);
libcrux_sha3_generic_keccak_xof_absorb_35_c60(self, inputs);