Index: benchmark/ctxswitch/cfa_cor.cfa
===================================================================
--- benchmark/ctxswitch/cfa_cor.cfa	(revision b4107c815918e9d1300f3381d29c2a863abf7de8)
+++ benchmark/ctxswitch/cfa_cor.cfa	(revision 103c2921dffd9e2e073b706e25c6e01b535b8d4d)
@@ -4,7 +4,7 @@
 #include "bench.h"
 
-coroutine GreatSuspender {};
-void main( __attribute__((unused)) GreatSuspender & this ) {
-	while ( true ) {
+coroutine C {} c;
+void main( __attribute__((unused)) C & ) {
+	while () {
 		suspend();
 	}
@@ -12,8 +12,7 @@
 int main( int argc, char * argv[] ) {
 	BENCH_START()
-	GreatSuspender s;
 	BENCH(
-		for ( i; times ) {
-			resume( s );
+		for ( times ) {
+			resume( c );
 		},
 		result