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