/* Returns true if the given priority is enabled for the default
* category. Priority is xbt_log_priority_SUFFIX, where SUFFIX may
* be: trace, debug, verbose, info, warning, error, critical.
/* Returns true if the given priority is enabled for the default
* category. Priority is xbt_log_priority_SUFFIX, where SUFFIX may
* be: trace, debug, verbose, info, warning, error, critical.