Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision 08a994e717c46ee688776bb6c7c1bff9109eb2c7)
+++ libcfa/src/concurrency/kernel.cfa	(revision c66f6cb71ed15bdf7843d630c7719f87d009b25d)
@@ -250,5 +250,7 @@
 	}
 
-	pthread_join( kernel_thread, 0p );
+	int err = pthread_join( kernel_thread, 0p );
+	if( err != 0 ) abort("KERNEL ERROR: joining processor %p caused error %s\n", &this, strerror(err));
+
 	free( this.stack );
 }
@@ -824,4 +826,8 @@
 	// Destroy the main processor and its context in reverse order of construction
 	// These were manually constructed so we need manually destroy them
+	void ^?{}(processor & this) with( this ){
+		/* paranoid */ verify( this.do_terminate == true );
+	}
+
 	^(*mainProcessor){};