Index: benchmark/mutex/cfa4.cfa
===================================================================
--- benchmark/mutex/cfa4.cfa	(revision b4107c815918e9d1300f3381d29c2a863abf7de8)
+++ benchmark/mutex/cfa4.cfa	(revision 7030dab75c493bbd89de53cb88e496019c794ff4)
@@ -5,12 +5,11 @@
 
 
-monitor M {};
-void __attribute__((noinline)) call( M & mutex m1, M & mutex m2, M & mutex m3, M & mutex m4 ) {}
+monitor M {} m1, m2, m3, m4;
+void __attribute__((noinline)) call( M & mutex p1, M & mutex p2, M & mutex p3, M & mutex p4 ) {}
 
 int main( int argc, char * argv[] ) {
 	BENCH_START()
-	M m1, m2, m3, m4;
 	BENCH(
-		for ( i; times ) {
+		for ( times ) {
 			call( m1, m2, m3, m4 );
 		},