Index: src/libcfa/concurrency/monitor.c
===================================================================
--- src/libcfa/concurrency/monitor.c	(revision e9e4e5764759c04dee507b9b87e99b93177bcad3)
+++ src/libcfa/concurrency/monitor.c	(revision 66298de8857d6e02eacadf9bc08b192b8662493d)
@@ -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;