Index: benchmark/schedint/cfa4.cfa
===================================================================
--- benchmark/schedint/cfa4.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/schedint/cfa4.cfa	(revision 58e280f46565e06007c2e7fc6db8434759dbaef4)
@@ -21,5 +21,5 @@
 	go = 1;
 	BENCH(
-		for (size_t i = 0; i < n; i++) {
+		for ( i; n ) {
 			wait(c);
 		},
@@ -27,5 +27,5 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 	go = 0;
 	return 0;
@@ -34,5 +34,5 @@
 thread T {};
 void ^?{}( T & mutex this ) {}
-void main( T & this ) {
+void main( T & ) {
 	while(go == 0) { yield(); }
 	while(go == 1) { call(m1, m2, m3, m4); }
@@ -40,7 +40,5 @@
 }
 
-int main(int margc, char* margv[]) {
-	argc = margc;
-	argv = margv;
+int main(__attribute__((unused)) int argc, __attribute__((unused)) char* argv[]) {
 	T t;
 	return wait(m1, m2, m3, m4);