let var x:=1000 in (while x do x:=(x-1);x) end