/* Get the property list of the workstation 2 */
props = SD_workstation_get_properties(w2);
cursor = NULL;
/* Print the properties of the workstation 2 */
xbt_dict_foreach(props, cursor, key, data) {
/* Get the property list of the workstation 2 */
props = SD_workstation_get_properties(w2);
cursor = NULL;
/* Print the properties of the workstation 2 */
xbt_dict_foreach(props, cursor, key, data) {