Index: benchmark/mutexC/cfa1.cfa
===================================================================
--- benchmark/mutexC/cfa1.cfa	(revision 2316525c0ab1029715c0c8bc2f6fe53ca84525fe)
+++ benchmark/mutexC/cfa1.cfa	(revision 96f5b300226de823658074ed4084ad9d67a2c649)
@@ -11,5 +11,5 @@
 void call() {
 	go = true;
-	for ( times ) {
+	for ( i; times ) {
 		call( m );
 	}
Index: benchmark/mutexC/cfa2.cfa
===================================================================
--- benchmark/mutexC/cfa2.cfa	(revision 2316525c0ab1029715c0c8bc2f6fe53ca84525fe)
+++ benchmark/mutexC/cfa2.cfa	(revision 96f5b300226de823658074ed4084ad9d67a2c649)
@@ -11,5 +11,5 @@
 void call() {
 	go = true;
-	for ( times ) {
+	for ( i; times ) {
 		call( m1, m2 );
 	}
Index: benchmark/mutexC/cfa4.cfa
===================================================================
--- benchmark/mutexC/cfa4.cfa	(revision 2316525c0ab1029715c0c8bc2f6fe53ca84525fe)
+++ benchmark/mutexC/cfa4.cfa	(revision 96f5b300226de823658074ed4084ad9d67a2c649)
@@ -11,5 +11,5 @@
 void call() {
 	go = true;
-	for ( times ) {
+	for ( i; times ) {
 		call( m1, m2, m3, m4 );
 	}