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