libcrux_ml_dsa_hash_functions_portable_shake256_5a
libcrux_ml_dsa_hash_functions_portable_shake256_5a(input0, out0);
libcrux_ml_dsa_hash_functions_portable_shake256_5a(input1, out1);
libcrux_ml_dsa_hash_functions_portable_shake256_5a(input2, out2);
libcrux_ml_dsa_hash_functions_portable_shake256_5a(input3, out3);
libcrux_ml_dsa_hash_functions_portable_shake256_5a(input, out);