Index: src/libcfa/concurrency/monitor.c
===================================================================
--- src/libcfa/concurrency/monitor.c	(revision 751d963d84b423185793ddbd55a839b1643041d0)
+++ src/libcfa/concurrency/monitor.c	(revision ca278c1dcaea1b69d773c4948fb76ebdfccbc0a6)
@@ -409,7 +409,5 @@
 	short thread_count = 0;
 	thread_desc * threads[ count ];
-	for(int i = 0; i < count; i++) {
-		threads[i] = 0;
-	}
+	__builtin_memset( threads, 0, sizeof( threads ) );
 
 	// Save monitor states
@@ -535,5 +533,8 @@
 	short max = count_max( mask );
 	monitor_desc * mon_storage[max];
+	__builtin_memset( mon_storage, 0, sizeof( mon_storage ) );
 	short actual_count = aggregate( mon_storage, mask );
+
+	LIB_DEBUG_PRINT_SAFE("Kernel : waitfor %d (s: %d, m: %d)\n", actual_count, mask.size, (short)max);
 
 	if(actual_count == 0) return;