Index: benchmark/mutex/cfa4.cfa
===================================================================
--- benchmark/mutex/cfa4.cfa	(revision b4107c815918e9d1300f3381d29c2a863abf7de8)
+++ benchmark/mutex/cfa4.cfa	(revision e068c8a8da15b590c9ee6dc1bf9fefcffcc2b1dc)
@@ -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 );
 		},