return sd_global->workstation_count;
}
/* Sets the data of a workstation. The new data can be NULL. The old data should have been freed first if it was not NULL.
*/
void SD_workstation_set_data(SD_workstation_t workstation, void *data) {
return sd_global->workstation_count;
}
/* Sets the data of a workstation. The new data can be NULL. The old data should have been freed first if it was not NULL.
*/
void SD_workstation_set_data(SD_workstation_t workstation, void *data) {