- DEBUG2("%s : %p", surf_resource_name(workstationA), workstationA);
- DEBUG2("%s : %p", surf_resource_name(workstationB), workstationB);
+ XBT_DEBUG("%s : %p", surf_resource_name(workstationA), workstationA);
+ XBT_DEBUG("%s : %p", surf_resource_name(workstationB), workstationB);