diff -r e66bd5c563eb -r b5b5583a3a08 progs/while-tests/collatz.while
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/progs/while-tests/collatz.while	Thu Jul 30 13:50:54 2020 +0100
@@ -0,0 +1,8 @@
+write "Input a number ";
+read n;
+while n > 1 do {
+  if n % 2 == 0 
+  then n := n/2 
+  else n := 3*n+1;
+};
+write "Yes";