libcrux_sha3_portable_incremental_shake128_squeeze_first_five_blocks
libcrux_sha3_portable_incremental_shake128_squeeze_first_five_blocks(&state->state0,
libcrux_sha3_portable_incremental_shake128_squeeze_first_five_blocks(&state->state1,
libcrux_sha3_portable_incremental_shake128_squeeze_first_five_blocks(&state->state2,
libcrux_sha3_portable_incremental_shake128_squeeze_first_five_blocks(&state->state3,