Index: libcfa/src/concurrency/kernel/fwd.hfa
===================================================================
--- libcfa/src/concurrency/kernel/fwd.hfa	(revision a494d1055b2782f956b9b766d4b211dbc716fc5a)
+++ libcfa/src/concurrency/kernel/fwd.hfa	(revision 13fdf866f7f954372ac020e1f9c2e07c7f3eb131)
@@ -347,5 +347,5 @@
 					struct oneshot * want = expected == 0p ? 1p : 2p;
 					if(__atomic_compare_exchange_n(&this.ptr, &expected, want, false, __ATOMIC_SEQ_CST, __ATOMIC_SEQ_CST)) {
-						if( expected == 0p ) { /* paranoid */ verify( this.ptr == 1p); return 0p; }
+						if( expected == 0p ) { return 0p; }
 						thread$ * ret = post( *expected, do_unpark );
 						__atomic_store_n( &this.ptr, 1p, __ATOMIC_SEQ_CST);
Index: libcfa/src/concurrency/kernel_private.hfa
===================================================================
--- libcfa/src/concurrency/kernel_private.hfa	(revision a494d1055b2782f956b9b766d4b211dbc716fc5a)
+++ libcfa/src/concurrency/kernel_private.hfa	(revision 13fdf866f7f954372ac020e1f9c2e07c7f3eb131)
@@ -60,4 +60,10 @@
 extern bool __preemption_enabled();
 
+enum {
+	PREEMPT_NORMAL    = 0,
+	PREEMPT_TERMINATE = 1,
+	PREEMPT_IO = 2,
+};
+
 static inline void __disable_interrupts_checked() {
 	/* paranoid */ verify( __preemption_enabled() );