let var x := 10 var y := 20 in while x < y do (if x < 15 then break else x := x + 1) end