Index: benchmark/mutex/cfa2.cfa
===================================================================
--- benchmark/mutex/cfa2.cfa	(revision b4107c815918e9d1300f3381d29c2a863abf7de8)
+++ benchmark/mutex/cfa2.cfa	(revision 686cb635b121f6f110922fdcb68fbf96df312238)
@@ -4,12 +4,12 @@
 #include "bench.h"
 
-monitor M {};
-void __attribute__((noinline)) call( M & mutex m1, M & mutex m2 ) {}
+monitor M {} m1, m2;
+
+void __attribute__((noinline)) call( M & mutex p1, M & mutex p2 ) {}
 
 int main( int argc, char * argv[] ) {
 	BENCH_START()
-	M m1, m2;
 	BENCH(
-		for ( i; times ) {
+		for ( times ) {
 			call( m1, m2 );
 		},