+ /*FIXME Remove maestro's smx_process from the process_list before calling
+ SIMIX_context_mod_exit() and delete it afterwards (it should be the last one) */
+ SIMIX_context_mod_exit();
+ xbt_swag_free(simix_global->process_list);
+ xbt_swag_free(simix_global->process_to_destroy);
+
+ /* Let's free maestro */
+ SIMIX_context_free(simix_global->maestro_process);
+ free(simix_global->maestro_process);
+