Index: benchmark/schedext/cfa1.cfa
===================================================================
--- benchmark/schedext/cfa1.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/schedext/cfa1.cfa	(revision dc33b5b1d92624f41baf064633127a4075fec592)
@@ -18,5 +18,5 @@
 	go = 1;
 	BENCH(
-		for (size_t i = 0; i < n; i++) {
+		for ( i; n ) {
 			waitfor(call, a1);
 		},
@@ -24,5 +24,5 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 	go = 0;
 	return 0;
@@ -31,5 +31,5 @@
 thread T {};
 void ^?{}( T & mutex this ) {}
-void main( T & this ) {
+void main( T & ) {
 	while(go == 0) { yield(); }
 	while(go == 1) { call(m1); }
@@ -37,7 +37,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);
Index: benchmark/schedext/cfa2.cfa
===================================================================
--- benchmark/schedext/cfa2.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/schedext/cfa2.cfa	(revision dc33b5b1d92624f41baf064633127a4075fec592)
@@ -18,5 +18,5 @@
 	go = 1;
 	BENCH(
-		for (size_t i = 0; i < n; i++) {
+		for ( i; n ) {
 			waitfor(call, a1, a2);
 		},
@@ -24,5 +24,5 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 	go = 0;
 	return 0;
@@ -31,5 +31,5 @@
 thread T {};
 void ^?{}( T & mutex this ) {}
-void main( T & this ) {
+void main( T & ) {
 	while(go == 0) { yield(); }
 	while(go == 1) { call(m1, m2); }
@@ -37,7 +37,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);
Index: benchmark/schedext/cfa4.cfa
===================================================================
--- benchmark/schedext/cfa4.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/schedext/cfa4.cfa	(revision dc33b5b1d92624f41baf064633127a4075fec592)
@@ -18,5 +18,5 @@
 	go = 1;
 	BENCH(
-		for (size_t i = 0; i < n; i++) {
+		for ( i; n ) {
 			waitfor(call, a1, a2, a3, a4);
 		},
@@ -24,5 +24,5 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 	go = 0;
 	return 0;
@@ -31,5 +31,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); }
@@ -37,7 +37,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);
Index: benchmark/schedext/upp.cc
===================================================================
--- benchmark/schedext/upp.cc	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/schedext/upp.cc	(revision dc33b5b1d92624f41baf064633127a4075fec592)
@@ -20,5 +20,5 @@
 		)
 
-		printf("%llu\n", result);
+		printf("%g\n", result);
 		go = 0;
 		return 0;