Index: benchmark/ctxswitch/cfa_cor.cfa
===================================================================
--- benchmark/ctxswitch/cfa_cor.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/ctxswitch/cfa_cor.cfa	(revision ffe2fad44a1e0e5936b3a5eb325178f2f44fcf5f)
@@ -11,5 +11,5 @@
 }
 
-void main( GreatSuspender & this ) {
+void main( __attribute__((unused)) GreatSuspender & this ) {
 	while( true ) {
 		suspend();
Index: benchmark/ctxswitch/cfa_thrd2.cfa
===================================================================
--- benchmark/ctxswitch/cfa_thrd2.cfa	(revision 5e49e477912c55f01edbd8c838b63e99a80722bd)
+++ benchmark/ctxswitch/cfa_thrd2.cfa	(revision ffe2fad44a1e0e5936b3a5eb325178f2f44fcf5f)
@@ -8,5 +8,5 @@
 thread Fibre {};
 
-void main(Fibre & this) {
+void main(__attribute__((unused)) Fibre & this) {
 	while(!done) {
 		yield();