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