let var y:=0 in (for x:=(y:=1;1) to (y:=2;0) do y:=3;y) end