libcrux_sha3_portable_keccak_xor5_5a
libcrux_sha3_portable_keccak_xor5_5a(s->st[0U][0U], s->st[1U][0U],
libcrux_sha3_portable_keccak_xor5_5a(s->st[0U][1U], s->st[1U][1U],
libcrux_sha3_portable_keccak_xor5_5a(s->st[0U][2U], s->st[1U][2U],
libcrux_sha3_portable_keccak_xor5_5a(s->st[0U][3U], s->st[1U][3U],
libcrux_sha3_portable_keccak_xor5_5a(s->st[0U][4U], s->st[1U][4U],