libcrux_sha3_portable_incremental_shake128_squeeze_first_five_blocks
libcrux_sha3_portable_incremental_shake128_squeeze_first_five_blocks(
#define libcrux_sha3_portable_incremental_shake128_squeeze_first_five_blocks Fssh_libcrux_sha3_portable_incremental_shake128_squeeze_first_five_blocks