+ fprintf (tracing_file, "#This file was generated using SimGrid-%d.%d.%d\n", SIMGRID_VERSION_MAJOR, SIMGRID_VERSION_MINOR, SIMGRID_VERSION_PATCH);
+ fprintf (tracing_file, "#[");
+ unsigned int cpt;
+ char *str;
+ xbt_dynar_foreach (xbt_cmdline, cpt, str){
+ fprintf(tracing_file, "%s ",str);
+ }
+ fprintf (tracing_file, "]\n");