- printf( "%lf\n", xbt_os_timer_elapsed(timer) );
- printf("Workstation number: %d, link number: %d\n",
- SD_workstation_get_number(), SD_link_get_number());
+ printf( "%f\n", xbt_os_timer_elapsed(timer) );
+ printf("Workstation number: %zu, link number: %d\n", sg_host_count(), sg_link_count());