(begin
    (:= x 10)
    (:= y (+ x 12))
    (:= z (and x y))
    (if (- y x z)
        (while (- x z 2)
               (:= z (- z 1)))
        (:= z (+ x y z))))