XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_context, simix, "Context switching mecanism");
const char *xbt_ctx_factory_to_use = NULL;
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_context, simix, "Context switching mecanism");
const char *xbt_ctx_factory_to_use = NULL;