Index: uspace/lib/c/generic/fibril_synch.c
===================================================================
--- uspace/lib/c/generic/fibril_synch.c	(revision 8871dba5729d36839c3aaeb2aa0f78bfac20d2a0)
+++ uspace/lib/c/generic/fibril_synch.c	(revision d6b13596e9a2cba9c125e420b41d628ad0b7e604)
@@ -104,4 +104,7 @@
 	fibril_t *f = (fibril_t *) fibril_get_id();
 
+	if (fibril_get_sercount() != 0)
+		core();
+
 	futex_down(&async_futex);
 	if (fm->counter-- <= 0) {
@@ -194,4 +197,7 @@
 	fibril_t *f = (fibril_t *) fibril_get_id();
 	
+	if (fibril_get_sercount() != 0)
+		core();
+
 	futex_down(&async_futex);
 	if (frw->writers) {
@@ -219,4 +225,7 @@
 	fibril_t *f = (fibril_t *) fibril_get_id();
 	
+	if (fibril_get_sercount() != 0)
+		core();
+
 	futex_down(&async_futex);
 	if (frw->writers || frw->readers) {