let var y:=0 in (for x:=2147483646 to 2147483647 do y:=(y+1);y) end