(while (> x (+ y 6)) (:= y (+ y 2)))