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