diff -r e66bd5c563eb -r b5b5583a3a08 progs/while-tests/loops.while
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/progs/while-tests/loops.while	Thu Jul 30 13:50:54 2020 +0100
@@ -0,0 +1,14 @@
+start := 1000; 
+x := start;
+y := start;
+z := start;
+while 0 < x do {
+ while 0 < y do {
+  while 0 < z do { z := z - 1 };
+  z := start;
+  y := y - 1
+ };     
+ y := start;
+ x := x - 1
+}
+