Index: src/tests/sched-int-wait.c
===================================================================
--- src/tests/sched-int-wait.c	(revision edbdbe65648d9874b8a2388ecb862f7a06e38f4a)
+++ src/tests/sched-int-wait.c	(revision 43123e07d8ea065c488687fefcdfd0b4c71595f9)
@@ -113,4 +113,5 @@
 	waiter_left = 4;
 	processor p;
+	sout | "Starting" | endl;
 	{
 		Signaler  e;
@@ -122,3 +123,4 @@
 		}
 	}
+	sout | "Done" | endl;
 }