xbt_dict_foreach(cpu_set, cursor, name, cpu) {
nw_card = NULL;
xbt_dict_get(network_card_set, name, (void *) &nw_card);
xbt_dict_foreach(cpu_set, cursor, name, cpu) {
nw_card = NULL;
xbt_dict_get(network_card_set, name, (void *) &nw_card);
xbt_dict_set(workstation_set, name,
workstation_new(name, cpu, nw_card), workstation_free);
}
xbt_dict_set(workstation_set, name,
workstation_new(name, cpu, nw_card), workstation_free);
}