Index: src/benchmark/mutex/cfa1.c
===================================================================
--- src/benchmark/mutex/cfa1.c	(revision f54a0abcaaf8eadcebe1c9d1f9bfb8ba7387cc35)
+++ src/benchmark/mutex/cfa1.c	(revision af0c8dabd4bc59ed96120c8fd8004bceb1e3cbbc)
@@ -4,11 +4,6 @@
 #include "bench.h"
 
-volatile unsigned long int counter = 0;
-
 monitor M {};
-
-void __attribute__((noinline)) call( M & mutex m ) {
-	counter++;
-}
+void __attribute__((noinline)) call( M & mutex m ) {}
 
 int main(int argc, char* argv[]) {
Index: src/benchmark/mutex/cfa2.c
===================================================================
--- src/benchmark/mutex/cfa2.c	(revision f54a0abcaaf8eadcebe1c9d1f9bfb8ba7387cc35)
+++ src/benchmark/mutex/cfa2.c	(revision af0c8dabd4bc59ed96120c8fd8004bceb1e3cbbc)
@@ -4,11 +4,6 @@
 #include "bench.h"
 
-volatile unsigned long int counter = 0;
-
 monitor M {};
-
-void __attribute__((noinline)) call( M & mutex m1, M & mutex m2 ) {
-	counter++;
-}
+void __attribute__((noinline)) call( M & mutex m1, M & mutex m2 ) {}
 
 int main(int argc, char* argv[]) {
Index: src/benchmark/mutex/cfa4.c
===================================================================
--- src/benchmark/mutex/cfa4.c	(revision f54a0abcaaf8eadcebe1c9d1f9bfb8ba7387cc35)
+++ src/benchmark/mutex/cfa4.c	(revision af0c8dabd4bc59ed96120c8fd8004bceb1e3cbbc)
@@ -4,11 +4,7 @@
 #include "bench.h"
 
-volatile unsigned long int counter = 0;
 
 monitor M {};
-
-void __attribute__((noinline)) call( M & mutex m1, M & mutex m2, M & mutex m3, M & mutex m4 ) {
-	counter++;
-}
+void __attribute__((noinline)) call( M & mutex m1, M & mutex m2, M & mutex m3, M & mutex m4 ) {}
 
 int main(int argc, char* argv[]) {
Index: src/benchmark/mutex/function.c
===================================================================
--- src/benchmark/mutex/function.c	(revision f54a0abcaaf8eadcebe1c9d1f9bfb8ba7387cc35)
+++ src/benchmark/mutex/function.c	(revision af0c8dabd4bc59ed96120c8fd8004bceb1e3cbbc)
@@ -3,9 +3,5 @@
 #include "bench.h"
 
-volatile unsigned long int counter = 0;
-
-void __attribute__((noinline)) call() {
-	counter++;
-}
+void __attribute__((noinline)) call() {}
 
 int main(int argc, char* argv[]) {
Index: src/benchmark/mutex/pthreads.c
===================================================================
--- src/benchmark/mutex/pthreads.c	(revision f54a0abcaaf8eadcebe1c9d1f9bfb8ba7387cc35)
+++ src/benchmark/mutex/pthreads.c	(revision af0c8dabd4bc59ed96120c8fd8004bceb1e3cbbc)
@@ -4,11 +4,8 @@
 #include "bench.h"
 
-volatile unsigned long int counter = 0;
-
 pthread_mutex_t mutex;
 
 void __attribute__((noinline)) call() {
 	 pthread_mutex_lock  (&mutex);
-	 counter++;
 	 pthread_mutex_unlock(&mutex);
 }
Index: src/benchmark/mutex/upp.cc
===================================================================
--- src/benchmark/mutex/upp.cc	(revision f54a0abcaaf8eadcebe1c9d1f9bfb8ba7387cc35)
+++ src/benchmark/mutex/upp.cc	(revision af0c8dabd4bc59ed96120c8fd8004bceb1e3cbbc)
@@ -3,11 +3,7 @@
 #include "bench.h"
 
-volatile unsigned long int counter = 0;
-
 _Monitor MyMonitor {
 public:
-	void __attribute__((noinline)) call() {
-		counter++;
-	}
+	void __attribute__((noinline)) call() {}
 };