Index: benchmark/io/http/main.cfa
===================================================================
--- benchmark/io/http/main.cfa	(revision 56c44dcb6f618eea30358c6b5c704c59a9203f9f)
+++ benchmark/io/http/main.cfa	(revision e23542987c42024e758269c7930ff52bdaf97f78)
@@ -125,5 +125,5 @@
 						workers[i].flags   = 0;
 					}
-					unpark( workers[i] __cfaabi_dbg_ctx2 );
+					unpark( workers[i] );
 				}
 				printf("%d workers started on %d processors\n", options.clopts.nworkers, options.clopts.nprocs);
Index: benchmark/io/http/worker.cfa
===================================================================
--- benchmark/io/http/worker.cfa	(revision 56c44dcb6f618eea30358c6b5c704c59a9203f9f)
+++ benchmark/io/http/worker.cfa	(revision e23542987c42024e758269c7930ff52bdaf97f78)
@@ -22,5 +22,5 @@
 
 void main( Worker & this ) {
-	park( __cfaabi_dbg_ctx );
+	park();
 	/* paranoid */ assert( this.pipe[0] != -1 );
 	/* paranoid */ assert( this.pipe[1] != -1 );
Index: benchmark/io/readv.cfa
===================================================================
--- benchmark/io/readv.cfa	(revision 56c44dcb6f618eea30358c6b5c704c59a9203f9f)
+++ benchmark/io/readv.cfa	(revision e23542987c42024e758269c7930ff52bdaf97f78)
@@ -54,5 +54,5 @@
 
 void main( Reader & ) {
-	park( __cfaabi_dbg_ctx );
+	park();
 	/* paranoid */ assert( true == __atomic_load_n(&run, __ATOMIC_RELAXED) );
 
@@ -151,5 +151,5 @@
 
 				for(i; nthreads) {
-					unpark( threads[i] __cfaabi_dbg_ctx2 );
+					unpark( threads[i] );
 				}
 				wait(duration, start, end, is_tty);