(defun! foo (x)
  (if (equal? 0 (% x 10000))
    (print! x))
  (foo (+ x 1)))

(foo 0)