+ DEBUG4("Workstation '%s' access mode: '%s', current task: %s, fifo size: %d",
+ SD_workstation_get_name(workstation),
+ (workstation->access_mode==SD_WORKSTATION_SHARED_ACCESS)?"SHARED":"FIFO",
+ (workstation->current_task ? SD_task_get_name(workstation->current_task) : "none"),
+ (workstation->task_fifo ? xbt_fifo_size(workstation->task_fifo) : 0));
+