libcrux_sha3_portable_incremental_shake256_absorb_final
libcrux_sha3_portable_incremental_shake256_absorb_final(&state, input);
libcrux_sha3_portable_incremental_shake256_absorb_final(&state0, input0);
libcrux_sha3_portable_incremental_shake256_absorb_final(&state1, input1);
libcrux_sha3_portable_incremental_shake256_absorb_final(&state2, input2);
libcrux_sha3_portable_incremental_shake256_absorb_final(&state3, input3);