XBT_PRIVATE SD_workstation_t __SD_workstation_create(const char* name);
XBT_PRIVATE void __SD_workstation_destroy(void *workstation);
XBT_PRIVATE int __SD_workstation_is_busy(SD_workstation_t workstation);
XBT_PRIVATE SD_workstation_t __SD_workstation_create(const char* name);
XBT_PRIVATE void __SD_workstation_destroy(void *workstation);
XBT_PRIVATE int __SD_workstation_is_busy(SD_workstation_t workstation);