*/
void MSG_global_init(int *argc, char **argv)
{
+#ifdef HAVE_TRACING
+ TRACE_global_init (argc, argv);
+#endif
+
xbt_getpid = MSG_process_self_PID;
if (!msg_global) {
/* Connect our log channels: that must be done manually under windows */
fflush(stderr);
SIMIX_init();
+#ifdef HAVE_MC
if (_surf_do_model_check)
MC_modelcheck(1);
else
+#endif
while (SIMIX_solve(NULL, NULL) != -1.0);
return MSG_OK;