let var x := 1 in while x = 1 do (break; x := 0); x end