Index: benchmark/mutex/cfa1.cfa
===================================================================
--- benchmark/mutex/cfa1.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/mutex/cfa1.cfa	(revision dc33b5b1d92624f41baf064633127a4075fec592)
@@ -10,5 +10,5 @@
 	M m;
 	BENCH(
-		for (size_t i = 0; i < n; i++) {
+		for ( i; n ) {
 			call(m);
 		},
@@ -16,4 +16,4 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 }
Index: benchmark/mutex/cfa2.cfa
===================================================================
--- benchmark/mutex/cfa2.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/mutex/cfa2.cfa	(revision dc33b5b1d92624f41baf064633127a4075fec592)
@@ -10,5 +10,5 @@
 	M m1, m2;
 	BENCH(
-		for (size_t i = 0; i < n; i++) {
+		for ( i; n ) {
 			call(m1, m2);
 		},
@@ -16,4 +16,4 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 }
Index: benchmark/mutex/cfa4.cfa
===================================================================
--- benchmark/mutex/cfa4.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/mutex/cfa4.cfa	(revision dc33b5b1d92624f41baf064633127a4075fec592)
@@ -11,5 +11,5 @@
 	M m1, m2, m3, m4;
 	BENCH(
-		for (size_t i = 0; i < n; i++) {
+		for ( i; n ) {
 			call(m1, m2, m3, m4);
 		},
@@ -17,4 +17,4 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 }
Index: benchmark/mutex/pthreads.c
===================================================================
--- benchmark/mutex/pthreads.c	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/mutex/pthreads.c	(revision dc33b5b1d92624f41baf064633127a4075fec592)
@@ -19,4 +19,4 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 }
Index: benchmark/mutex/upp.cc
===================================================================
--- benchmark/mutex/upp.cc	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/mutex/upp.cc	(revision dc33b5b1d92624f41baf064633127a4075fec592)
@@ -17,4 +17,4 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 }