libcrux_sha3_generic_keccak_xof_absorb_35_c6
libcrux_sha3_generic_keccak_xof_absorb_35_c6(self, buf);
libcrux_sha3_generic_keccak_xof_absorb_35_c6(self, inputs);