Index: tests/concurrent/waituntil/one_chan.cfa
===================================================================
--- tests/concurrent/waituntil/one_chan.cfa	(revision 253a78ffaf6f91bf8f04bc8188716a454112fff7)
+++ tests/concurrent/waituntil/one_chan.cfa	(revision 8fd1b7c719c2b7d0d43b7caa9b31a57e0372852b)
@@ -28,4 +28,5 @@
     long long int total = 0;
     printf("start\n");
+    volatile size_t LINE_COUNTER = 1;
     {
         Server1 s[numServers];
@@ -33,7 +34,9 @@
             waituntil( j >> C ) { total += j; }
         }
+        LINE_COUNTER = 2;
         printf("waiting for empty channels\n");
+        LINE_COUNTER = 3;
         size_t C_count = get_count( C );
-        size_t LINE_COUNTER = 0;
+        LINE_COUNTER = 5;
         while( C_count > 0 ) { 
             C_count = get_count( C );