Index: benchmark/ctxswitch/cfa_cor_then.cfa
===================================================================
--- benchmark/ctxswitch/cfa_cor_then.cfa	(revision c1ed2eed49812bcfa4987e47ccc9eda7d2fbf8c0)
+++ benchmark/ctxswitch/cfa_cor_then.cfa	(revision c1ed2eed49812bcfa4987e47ccc9eda7d2fbf8c0)
@@ -0,0 +1,32 @@
+#include <stdio.h>
+#include <kernel.hfa>
+#include <thread.hfa>
+
+#include "bench.h"
+
+void noOp(void) {}
+
+coroutine GreatSuspender {};
+
+void ?{}( GreatSuspender & this ) {
+	prime(this);
+}
+
+void main( __attribute__((unused)) GreatSuspender & this ) {
+	while( true ) {
+		suspend_then(noOp);
+	}
+}
+
+int main(int argc, char* argv[]) {
+	GreatSuspender s;
+
+	BENCH(
+		for (size_t i = 0; i < n; i++) {
+			resume( s );
+		},
+		result
+	)
+
+	printf("%llu\n", result);
+}