libcrux_sha3_portable_keccak_store_5a_1c0
libcrux_sha3_portable_keccak_store_5a_1c0(self->inner.st, out00);
libcrux_sha3_portable_keccak_store_5a_1c0(self->inner.st, out0);
libcrux_sha3_portable_keccak_store_5a_1c0(self->inner.st, out_rest);