char *name = NULL;
void *workstation = NULL;
-/* surf_workstation_resource_init_CLM03(file); */
+ surf_timer_resource_init(file);
+#ifdef ALVIN_SURF_SPECIAL
surf_workstation_resource_init_KCCFLN05(file);
+#else
+ surf_workstation_resource_init_CLM03(file);
+#endif
xbt_dict_foreach(workstation_set, cursor, name, workstation) {
__MSG_host_create(name, workstation, NULL);