libcrux_ml_dsa_pre_hash_context_88
{ .data = { (uint8_t)libcrux_ml_dsa_pre_hash_context_88(domain_separation_context0).meta } };
libcrux_ml_dsa_pre_hash_context_88(domain_separation_context0));