Index: benchmark/mutex/cfa1.cfa
===================================================================
--- benchmark/mutex/cfa1.cfa	(revision 50cfa991cb95e111c78efe741975c3200be46e8c)
+++ benchmark/mutex/cfa1.cfa	(revision f090750e8e92963c13fdc0f75431e9f64b438b80)
@@ -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
Index: benchmark/mutex/cfa2.cfa
===================================================================
--- benchmark/mutex/cfa2.cfa	(revision 50cfa991cb95e111c78efe741975c3200be46e8c)
+++ benchmark/mutex/cfa2.cfa	(revision f090750e8e92963c13fdc0f75431e9f64b438b80)
@@ -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 );
 		},
Index: benchmark/mutex/cfa4.cfa
===================================================================
--- benchmark/mutex/cfa4.cfa	(revision 50cfa991cb95e111c78efe741975c3200be46e8c)
+++ benchmark/mutex/cfa4.cfa	(revision f090750e8e92963c13fdc0f75431e9f64b438b80)
@@ -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 );
 		},