+ /* The TRACE process is created before the SIMIX one
+ * to avoid issues when SIMIX decides to start the new
+ * process right now (before returning the flow control). */
+ unsigned int next_pid = SIMIX_process_get_maxpid();
+ TRACE_msg_process_create(name, next_pid, host);
+