let var x := 3 in (when x > 2 do (x := x + 1)) end