surf_timer_model->extension.timer.set(start_time, (void *)
&SIMIX_process_create, arg);
surf_timer_model->extension.timer.set(start_time, (void *)
&SIMIX_process_create, arg);
DEBUG2("Starting Process %s(%s) right now", parse_argv[0], parse_host);
if (simix_global->create_process_function)
DEBUG2("Starting Process %s(%s) right now", parse_argv[0], parse_host);
if (simix_global->create_process_function)