Index: benchmark/schedext/cfa4.cfa
===================================================================
--- benchmark/schedext/cfa4.cfa	(revision 2316525c0ab1029715c0c8bc2f6fe53ca84525fe)
+++ benchmark/schedext/cfa4.cfa	(revision 8abca0660e7023ad48db341fe98ce11969bb2e8a)
@@ -4,25 +4,20 @@
 #include <stdio.h>
 
-#include "bench.h"
-
-volatile int go = 0;
+#include "../bench.h"
 
 monitor M {} m1, m2, m3, m4;
 
 void __attribute__((noinline)) call( M & mutex p1, M & mutex p2, M & mutex p3, M & mutex p4 ) {}
-
 void __attribute__((noinline)) wait( M & mutex p1, M & mutex p2, M & mutex p3, M & mutex p4 ) {
-	go = 1;
 	for ( times ) {
 		waitfor( call : p1, p2, p3, p4 );
 	}
-	go = 0;
 }
-
 thread T {};
 void main( T & ) {
-	while( go == 0 ) { yield(); }
 	BENCH(
-		while( go == 1 ) { call( m1, m2, m3, m4 ); },
+		for ( times ) {
+			call( m1, m2, m3, m4 );
+		},
 		result
 	)