XBT_LOG_NEW_DEFAULT_SUBCATEGORY(instr_msg, instr, "MSG instrumentation");
void TRACE_msg_set_task_category(msg_task_t task, const char *category)
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(instr_msg, instr, "MSG instrumentation");
void TRACE_msg_set_task_category(msg_task_t task, const char *category)