--- a/vl.c	2006-05-16 06:42:11.000000000 -0500
+++ b/vl.c	2006-05-16 06:35:25.000000000 -0500
@@ -637,6 +637,7 @@
     usec = get_clock() - usec;
     ticks = cpu_get_real_ticks() - ticks;
     ticks_per_sec = (ticks * 1000000LL + (usec >> 1)) / usec;
+    printf("ticks_per_sec set as %lli\n", ticks_per_sec);
 }
 #endif /* !_WIN32 */