(workstation->current_task ? SD_task_get_name(workstation->current_task) : "none"),
(workstation->task_fifo ? xbt_fifo_size(workstation->task_fifo) : 0));
(workstation->current_task ? SD_task_get_name(workstation->current_task) : "none"),
(workstation->task_fifo ? xbt_fifo_size(workstation->task_fifo) : 0));