Index: src/benchmark/schedint/cfa1.c
===================================================================
--- src/benchmark/schedint/cfa1.c	(revision bb7e3d425111b7f508660c9c316effc383ee1733)
+++ src/benchmark/schedint/cfa1.c	(revision 4cedd9fd7388881d56f46c8b5b5520dee1f9e9b2)
@@ -15,5 +15,5 @@
 
 void __attribute__((noinline)) call( M & mutex a1 ) {
-	signal(&c);
+	signal(c);
 }
 
@@ -22,5 +22,5 @@
 	BENCH(
 		for (size_t i = 0; i < n; i++) {
-			wait(&c);
+			wait(c);
 		},
 		result
Index: src/benchmark/schedint/cfa2.c
===================================================================
--- src/benchmark/schedint/cfa2.c	(revision bb7e3d425111b7f508660c9c316effc383ee1733)
+++ src/benchmark/schedint/cfa2.c	(revision 4cedd9fd7388881d56f46c8b5b5520dee1f9e9b2)
@@ -15,5 +15,5 @@
 
 void __attribute__((noinline)) call( M & mutex a1, M & mutex a2 ) {
-	signal(&c);
+	signal(c);
 }
 
@@ -22,5 +22,5 @@
 	BENCH(
 		for (size_t i = 0; i < n; i++) {
-			wait(&c);
+			wait(c);
 		},
 		result
Index: src/benchmark/schedint/cfa4.c
===================================================================
--- src/benchmark/schedint/cfa4.c	(revision bb7e3d425111b7f508660c9c316effc383ee1733)
+++ src/benchmark/schedint/cfa4.c	(revision 4cedd9fd7388881d56f46c8b5b5520dee1f9e9b2)
@@ -15,5 +15,5 @@
 
 void __attribute__((noinline)) call( M & mutex a1, M & mutex a2, M & mutex a3, M & mutex a4 ) {
-	signal(&c);
+	signal(c);
 }
 
@@ -22,5 +22,5 @@
 	BENCH(
 		for (size_t i = 0; i < n; i++) {
-			wait(&c);
+			wait(c);
 		},
 		result