XBT_PRIVATE void __SD_workstation_destroy(void *workstation);
XBT_PRIVATE int __SD_workstation_is_busy(SD_workstation_t workstation);
XBT_PRIVATE void __SD_workstation_destroy(void *workstation);
XBT_PRIVATE int __SD_workstation_is_busy(SD_workstation_t workstation);