Index: benchmark/ctxswitch/cfa_cor.cfa
===================================================================
--- benchmark/ctxswitch/cfa_cor.cfa	(revision 5b11c25668bf48e43c6bf9f0e7c460acb2ca76f5)
+++ benchmark/ctxswitch/cfa_cor.cfa	(revision 9504a8969e7d1bb7042a4cf7d786d6db2fbe2d39)
@@ -1,3 +1,2 @@
-#include <stdio.h>
 #include <kernel.hfa>
 #include <thread.hfa>
@@ -21,5 +20,5 @@
 
 	BENCH(
-		for (size_t i = 0; i < n; i++) {
+		for ( i; n ) {
 			resume( s );
 		},
@@ -27,4 +26,4 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 }
Index: benchmark/ctxswitch/cfa_cor_then.cfa
===================================================================
--- benchmark/ctxswitch/cfa_cor_then.cfa	(revision 5b11c25668bf48e43c6bf9f0e7c460acb2ca76f5)
+++ benchmark/ctxswitch/cfa_cor_then.cfa	(revision 9504a8969e7d1bb7042a4cf7d786d6db2fbe2d39)
@@ -1,3 +1,2 @@
-#include <stdio.h>
 #include <kernel.hfa>
 #include <thread.hfa>
@@ -23,5 +22,5 @@
 
 	BENCH(
-		for (size_t i = 0; i < n; i++) {
+		for ( i; n ) {
 			resume( s );
 		},
@@ -29,4 +28,4 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 }
Index: benchmark/ctxswitch/cfa_thrd.cfa
===================================================================
--- benchmark/ctxswitch/cfa_thrd.cfa	(revision 5b11c25668bf48e43c6bf9f0e7c460acb2ca76f5)
+++ benchmark/ctxswitch/cfa_thrd.cfa	(revision 9504a8969e7d1bb7042a4cf7d786d6db2fbe2d39)
@@ -1,3 +1,2 @@
-#include <stdio.h>
 #include <thread.hfa>
 
@@ -6,5 +5,5 @@
 int main(int argc, char* argv[]) {
 	BENCH(
-		for (size_t i = 0; i < n; i++) {
+		for ( i; n ) {
 			yield();
 		},
@@ -12,4 +11,4 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 }
Index: benchmark/ctxswitch/cfa_thrd2.cfa
===================================================================
--- benchmark/ctxswitch/cfa_thrd2.cfa	(revision 5b11c25668bf48e43c6bf9f0e7c460acb2ca76f5)
+++ benchmark/ctxswitch/cfa_thrd2.cfa	(revision 9504a8969e7d1bb7042a4cf7d786d6db2fbe2d39)
@@ -1,3 +1,2 @@
-#include <stdio.h>
 #include <thread.hfa>
 
@@ -17,5 +16,5 @@
 	Fibre f1;
   	BENCH(
-		for (size_t i = 0; i < n; i++) {
+		for ( i; n ) {
 			yield();
 		},
@@ -23,5 +22,5 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 	done = true;
 	return 0;
Index: benchmark/ctxswitch/kos_fibre.cpp
===================================================================
--- benchmark/ctxswitch/kos_fibre.cpp	(revision 5b11c25668bf48e43c6bf9f0e7c460acb2ca76f5)
+++ benchmark/ctxswitch/kos_fibre.cpp	(revision 9504a8969e7d1bb7042a4cf7d786d6db2fbe2d39)
@@ -10,5 +10,5 @@
 		result
 	)
-	printf("%llu\n", result);
+	printf("%g\n", result);
 	return 0;
 }
Index: benchmark/ctxswitch/kos_fibre2.cpp
===================================================================
--- benchmark/ctxswitch/kos_fibre2.cpp	(revision 5b11c25668bf48e43c6bf9f0e7c460acb2ca76f5)
+++ benchmark/ctxswitch/kos_fibre2.cpp	(revision 9504a8969e7d1bb7042a4cf7d786d6db2fbe2d39)
@@ -19,5 +19,5 @@
 		result
 	)
-	printf("%llu\n", result);
+	printf("%g\n", result);
 	done = true;
 	Fibre::yield();
Index: benchmark/ctxswitch/pthreads.c
===================================================================
--- benchmark/ctxswitch/pthreads.c	(revision 5b11c25668bf48e43c6bf9f0e7c460acb2ca76f5)
+++ benchmark/ctxswitch/pthreads.c	(revision 9504a8969e7d1bb7042a4cf7d786d6db2fbe2d39)
@@ -14,4 +14,4 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 }
Index: benchmark/ctxswitch/upp_cor.cc
===================================================================
--- benchmark/ctxswitch/upp_cor.cc	(revision 5b11c25668bf48e43c6bf9f0e7c460acb2ca76f5)
+++ benchmark/ctxswitch/upp_cor.cc	(revision 9504a8969e7d1bb7042a4cf7d786d6db2fbe2d39)
@@ -30,4 +30,4 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 }
Index: benchmark/ctxswitch/upp_thrd.cc
===================================================================
--- benchmark/ctxswitch/upp_thrd.cc	(revision 5b11c25668bf48e43c6bf9f0e7c460acb2ca76f5)
+++ benchmark/ctxswitch/upp_thrd.cc	(revision 9504a8969e7d1bb7042a4cf7d786d6db2fbe2d39)
@@ -11,4 +11,4 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 }