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