surf_workstation_model_init_internal();
xbt_dynar_push(model_list, &surf_workstation_model);
sg_platf_host_add_cb(workstation_new);
surf_workstation_model_init_internal();
xbt_dynar_push(model_list, &surf_workstation_model);
sg_platf_host_add_cb(workstation_new);