libcrux_sha3_generic_keccak_xof_absorb_35_e9
libcrux_sha3_generic_keccak_xof_absorb_35_e9(self, &lvalue);
libcrux_sha3_generic_keccak_xof_absorb_35_e9(self, inputs);