+ if (TRACE_msg_process_is_enabled()){
+ int len = INSTR_DEFAULT_STR_SIZE;
+ char str[INSTR_DEFAULT_STR_SIZE];
+
+ container_t process_container = getContainer (instr_process_id(MSG_process_self(), str, len));
+ type_t type = getType ("MSG_PROCESS_STATE", process_container->type);
+ val_t value = getValueByName ("send", type);
+ new_pajePushState (MSG_get_clock(), process_container, type, value);
+
+ char key[INSTR_DEFAULT_STR_SIZE];
+ snprintf (key, INSTR_DEFAULT_STR_SIZE, "p%lld", task->counter);
+ type = getType ("MSG_PROCESS_TASK_LINK", getRootType());
+ new_pajeStartLink(MSG_get_clock(), getRootContainer(), type, process_container, "SR", key);
+ }