libcrux_sha3_portable_keccak_store_block_full_5a_291
libcrux_sha3_portable_keccak_store_block_full_5a_291(s->st, b);
libcrux_sha3_portable_keccak_store_block_full_5a_291(s.st, b);