--- a/progs/loops.while	Tue Oct 22 23:17:53 2013 +0100
+++ b/progs/loops.while	Wed Oct 23 00:09:41 2013 +0100
@@ -4,15 +4,11 @@
 z := start;
 while 0 < x do {
  while 0 < y do {
-  while 0 < z do {
-    z := z - 1
-  };
+  while 0 < z do { z := z - 1 };
   z := start;
   y := y - 1
  };     
  y := start;
  x := x - 1
 };
-write x;
-write y;
-write z
+