Index: benchmark/schedint/cfa1.cfa
===================================================================
--- benchmark/schedint/cfa1.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/schedint/cfa1.cfa	(revision d4e68a63492f373d6f1511178db5f8e69911cee3)
@@ -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;
@@ -33,6 +33,6 @@
 
 thread T {};
-void ^?{}( T & mutex this ) {}
-void main( T & this ) {
+void ^?{}( T & mutex ) {}
+void main( T & ) {
 	while(go == 0) { yield(); }
 	while(go == 1) { call(m1); }
@@ -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);
Index: benchmark/schedint/cfa2.cfa
===================================================================
--- benchmark/schedint/cfa2.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/schedint/cfa2.cfa	(revision d4e68a63492f373d6f1511178db5f8e69911cee3)
@@ -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); }
@@ -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);
Index: benchmark/schedint/cfa4.cfa
===================================================================
--- benchmark/schedint/cfa4.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/schedint/cfa4.cfa	(revision d4e68a63492f373d6f1511178db5f8e69911cee3)
@@ -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);
Index: benchmark/schedint/pthreads.c
===================================================================
--- benchmark/schedint/pthreads.c	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/schedint/pthreads.c	(revision d4e68a63492f373d6f1511178db5f8e69911cee3)
@@ -27,5 +27,5 @@
 	)
 
-	printf("%llu\n", result);
+	printf("%g\n", result);
 	go = 0;
 	pthread_mutex_unlock(&m);
@@ -33,5 +33,5 @@
 }
 
-void* thread_main(void * a) {
+void* thread_main(__attribute__((unused)) void * arg ) {
 	while(go == 0) { sched_yield(); }
 	while(go == 1) { call(); }
@@ -39,7 +39,5 @@
 }
 
-int main(int margc, char* margv[]) {
-	argc = margc;
-	argv = margv;
+int main(__attribute__((unused)) int argc, __attribute__((unused)) char* argv[]) {
 	pthread_t thread;
 	if (pthread_create(&thread, NULL, thread_main, NULL) < 0) {
Index: benchmark/schedint/upp.cc
===================================================================
--- benchmark/schedint/upp.cc	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/schedint/upp.cc	(revision d4e68a63492f373d6f1511178db5f8e69911cee3)
@@ -23,5 +23,5 @@
 		)
 
-		printf("%llu\n", result);
+		printf("%g\n", result);
 		go = 0;
 		return 0;
@@ -39,7 +39,5 @@
 };
 
-int main(int margc, char* margv[]) {
-	argc = margc;
-	argv = margv;
+int main(__attribute__((unused)) int argc, __attribute__((unused)) char* argv[]) {
 	T t;
 	return m.wait();