Index: benchmark/mutexStmt/lock1.cfa
===================================================================
--- benchmark/mutexStmt/lock1.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
+++ benchmark/mutexStmt/lock1.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
@@ -0,0 +1,22 @@
+#include <locks.hfa>
+#include <mutex_stmt.hfa>
+#include <stdio.h>
+
+#include "bench.h"
+
+single_acquisition_lock l1;
+
+int main( int argc, char * argv[] ) {
+	BENCH_START()
+	BENCH(
+		for ( times ) {
+			mutex ( l1 ) { }
+		},
+		result
+	)
+	printf( "%g\n", result );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //
Index: benchmark/mutexStmt/lock2.cfa
===================================================================
--- benchmark/mutexStmt/lock2.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
+++ benchmark/mutexStmt/lock2.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
@@ -0,0 +1,22 @@
+#include <locks.hfa>
+#include <mutex_stmt.hfa>
+#include <stdio.h>
+
+#include "bench.h"
+
+single_acquisition_lock l1, l2;
+
+int main( int argc, char * argv[] ) {
+	BENCH_START()
+	BENCH(
+		for ( times ) {
+			mutex ( l1, l2 ) { }
+		},
+		result
+	)
+	printf( "%g\n", result );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //
Index: benchmark/mutexStmt/lock4.cfa
===================================================================
--- benchmark/mutexStmt/lock4.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
+++ benchmark/mutexStmt/lock4.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
@@ -0,0 +1,22 @@
+#include <locks.hfa>
+#include <mutex_stmt.hfa>
+#include <stdio.h>
+
+#include "bench.h"
+
+single_acquisition_lock l1, l2, l3, l4;
+
+int main( int argc, char * argv[] ) {
+	BENCH_START()
+	BENCH(
+		for ( times ) {
+			mutex ( l1, l2, l3, l4 ) { }
+		},
+		result
+	)
+	printf( "%g\n", result );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //
Index: benchmark/mutexStmt/lock8.cfa
===================================================================
--- benchmark/mutexStmt/lock8.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
+++ benchmark/mutexStmt/lock8.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
@@ -0,0 +1,22 @@
+#include <locks.hfa>
+#include <mutex_stmt.hfa>
+#include <stdio.h>
+
+#include "bench.h"
+
+single_acquisition_lock l1, l2, l3, l4, l5, l6, l7, l8;
+
+int main( int argc, char * argv[] ) {
+	BENCH_START()
+	BENCH(
+		for ( times ) {
+			mutex ( l1, l2, l3, l4, l5, l6, l7, l8 ) { }
+		},
+		result
+	)
+	printf( "%g\n", result );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //
Index: benchmark/mutexStmt/monitor1.cfa
===================================================================
--- benchmark/mutexStmt/monitor1.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
+++ benchmark/mutexStmt/monitor1.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
@@ -0,0 +1,22 @@
+#include <monitor.hfa>
+#include <mutex_stmt.hfa>
+#include <stdio.h>
+
+#include "bench.h"
+
+monitor M {} m1;
+
+int main( int argc, char * argv[] ) {
+	BENCH_START()
+	BENCH(
+		for ( times ) {
+			mutex ( m1 ) { }
+		},
+		result
+	)
+	printf( "%g\n", result );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //
Index: benchmark/mutexStmt/monitor2.cfa
===================================================================
--- benchmark/mutexStmt/monitor2.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
+++ benchmark/mutexStmt/monitor2.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
@@ -0,0 +1,22 @@
+#include <monitor.hfa>
+#include <mutex_stmt.hfa>
+#include <stdio.h>
+
+#include "bench.h"
+
+monitor M {} m1, m2;
+
+int main( int argc, char * argv[] ) {
+	BENCH_START()
+	BENCH(
+		for ( times ) {
+			mutex( m1, m2 ) { }
+		},
+		result
+	)
+	printf( "%g\n", result );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //
Index: benchmark/mutexStmt/monitor4.cfa
===================================================================
--- benchmark/mutexStmt/monitor4.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
+++ benchmark/mutexStmt/monitor4.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
@@ -0,0 +1,22 @@
+#include <monitor.hfa>
+#include <mutex_stmt.hfa>
+#include <stdio.h>
+
+#include "bench.h"
+
+monitor M {} m1, m2, m3, m4;
+
+int main( int argc, char * argv[] ) {
+	BENCH_START()
+	BENCH(
+		for ( times ) {
+			mutex( m1, m2, m3, m4 ) { }
+		},
+		result
+	)
+	printf( "%g\n", result );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //
Index: benchmark/mutexStmt/no_stmt_lock1.cfa
===================================================================
--- benchmark/mutexStmt/no_stmt_lock1.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
+++ benchmark/mutexStmt/no_stmt_lock1.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
@@ -0,0 +1,23 @@
+#include <locks.hfa>
+#include <mutex_stmt.hfa>
+#include <stdio.h>
+
+#include "bench.h"
+
+single_acquisition_lock l1;
+
+int main( int argc, char * argv[] ) {
+	BENCH_START()
+	BENCH(
+		for ( times ) {
+			lock( l1 );
+            unlock( l1 );
+		},
+		result
+	)
+	printf( "%g\n", result );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //
Index: benchmark/mutexStmt/no_stmt_lock2.cfa
===================================================================
--- benchmark/mutexStmt/no_stmt_lock2.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
+++ benchmark/mutexStmt/no_stmt_lock2.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
@@ -0,0 +1,25 @@
+#include <locks.hfa>
+#include <mutex_stmt.hfa>
+#include <stdio.h>
+
+#include "bench.h"
+
+single_acquisition_lock l1, l2;
+
+int main( int argc, char * argv[] ) {
+	BENCH_START()
+	BENCH(
+		for ( times ) {
+			lock( l1 );
+            lock( l2 ); 
+            unlock( l2 );
+            unlock( l1 );
+		},
+		result
+	)
+	printf( "%g\n", result );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //
Index: benchmark/mutexStmt/no_stmt_lock4.cfa
===================================================================
--- benchmark/mutexStmt/no_stmt_lock4.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
+++ benchmark/mutexStmt/no_stmt_lock4.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
@@ -0,0 +1,29 @@
+#include <locks.hfa>
+#include <mutex_stmt.hfa>
+#include <stdio.h>
+
+#include "bench.h"
+
+single_acquisition_lock l1, l2, l3, l4;
+
+int main( int argc, char * argv[] ) {
+	BENCH_START()
+	BENCH(
+		for ( times ) {
+			lock( l1 );
+            lock( l2 );
+            lock( l3 );
+            lock( l4 ); 
+            unlock( l4 );
+            unlock( l3 );
+            unlock( l2 );
+            unlock( l1 );
+		},
+		result
+	)
+	printf( "%g\n", result );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //
Index: benchmark/mutexStmt/no_stmt_lock8.cfa
===================================================================
--- benchmark/mutexStmt/no_stmt_lock8.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
+++ benchmark/mutexStmt/no_stmt_lock8.cfa	(revision 65502d83df1b51d0a863dcb592705be3ca7b3c58)
@@ -0,0 +1,37 @@
+#include <locks.hfa>
+#include <mutex_stmt.hfa>
+#include <stdio.h>
+
+#include "bench.h"
+
+single_acquisition_lock l1, l2, l3, l4, l5, l6, l7, l8;
+
+int main( int argc, char * argv[] ) {
+	BENCH_START()
+	BENCH(
+		for ( times ) {
+			lock( l1 );
+            lock( l2 );
+            lock( l3 );
+            lock( l4 );
+            lock( l5 );
+            lock( l6 );
+            lock( l7 );
+            lock( l8 ); 
+            unlock( l8 );
+            unlock( l7 );
+            unlock( l6 );
+            unlock( l5 );
+            unlock( l4 );
+            unlock( l3 );
+            unlock( l2 );
+            unlock( l1 );
+		},
+		result
+	)
+	printf( "%g\n", result );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //