char key[INSTR_DEFAULT_STR_SIZE];
snprintf (key, INSTR_DEFAULT_STR_SIZE, "%lld", task->counter);
new_pajeStartLink(MSG_get_clock(), getRootContainer(), type, msg, "SR", key);
destroyContainer (msg);
char key[INSTR_DEFAULT_STR_SIZE];
snprintf (key, INSTR_DEFAULT_STR_SIZE, "%lld", task->counter);
new_pajeStartLink(MSG_get_clock(), getRootContainer(), type, msg, "SR", key);
destroyContainer (msg);