Index: benchmark/ctxswitch/cfa_thrd2.cfa
===================================================================
--- benchmark/ctxswitch/cfa_thrd2.cfa	(revision ffe2fad44a1e0e5936b3a5eb325178f2f44fcf5f)
+++ benchmark/ctxswitch/cfa_thrd2.cfa	(revision 95eb7cfe800ca3bc7760457356d3848fdc56cc93)
@@ -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;