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