Index: tests/concurrent/waituntil/one_chan.cfa
===================================================================
--- tests/concurrent/waituntil/one_chan.cfa	(revision 253a78ffaf6f91bf8f04bc8188716a454112fff7)
+++ tests/concurrent/waituntil/one_chan.cfa	(revision d69752711fac0e68cc2a2c774b76b636a3cff37c)
@@ -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 );