libcrux_sha3_portable_incremental_shake128_squeeze_next_block
libcrux_sha3_portable_incremental_shake128_squeeze_next_block(&state->state0,
libcrux_sha3_portable_incremental_shake128_squeeze_next_block(&state->state1,
libcrux_sha3_portable_incremental_shake128_squeeze_next_block(&state->state2,
libcrux_sha3_portable_incremental_shake128_squeeze_next_block(&state->state3,
libcrux_sha3_portable_incremental_shake128_squeeze_next_block(&st->data[i0],