void xbt_lib_set(xbt_lib_t lib, const char *key, int level, void *obj)
{
XBT_DEBUG("xbt_lib_set key '%s:%d' with object %p", key, level, obj);
void xbt_lib_set(xbt_lib_t lib, const char *key, int level, void *obj)
{
XBT_DEBUG("xbt_lib_set key '%s:%d' with object %p", key, level, obj);