on page 34 of Evidence-Based programming language design

gistfile1.txt

x <- rand(25);
y <- rand(25);
comment set x and y to random integers in [1, 25];
write What is <(x)> + <(y)>;
[accept reply; if reply
 | = x+y : write Very good; correct_count <- correct_count + 1;
 | = x*y : write Add, don’t multiply; again;
 | > x+y+10 : write No, that’s more than 10 too much; again;
 | else : write No, try again; again;
];

A rough attempt in Hy.

(defmacro kail [&rest body] 
  `(while True ~@body (break)))
(import [random [randint]])
;; set x and y to random integers in [1, 25]
(def
  x (randint 1 25)
  y (randint 1 25)
  correct-count 0)  ; not in example?
(print (apply .format ["What is {x} + {y}"] (vars)))
(kail
  (setv reply (int (input)))
  (cond
    [(= reply (+ x y)) (print "Very good") (+= correct-count 1)]
    [(= reply (* x y)) (print "Add, don't multiply") (continue)]
    [(> reply (+ x y 10)) (print "No, that's more than 10 too much") (continue)]
    [:else (print "No, try again") (continue)]))

I'm mostly doing this to try to understand how exactly KAIL is supposed to work. I noticed that my version repeats reply, but the original doesn't.