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