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