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