let var x : int := 0 in while x < 2 do (x := x + 1; break); x end