/* Let's check that those two processors exist */
XBT_DEBUG("%s : %p", surf_resource_name(workstationA), workstationA);
XBT_DEBUG("%s : %p", surf_resource_name(workstationB), workstationB);
/* Let's do something on it */
/* Let's check that those two processors exist */
XBT_DEBUG("%s : %p", surf_resource_name(workstationA), workstationA);
XBT_DEBUG("%s : %p", surf_resource_name(workstationB), workstationB);
/* Let's do something on it */