;; Takeuchi Function Benchmark
;; heavily recursive, benefits significantly from specialization of integer arithmetic
;; and direct function calls (skipping dynamic dispatch).
;; Benchmark: 339.7us
;; Benchmark-Repeat: 7

(do
  (def tak (fn [x y z]
    (if (<= x y)
        z
        (tak (tak (- x 1) y z)
             (tak (- y 1) z x)
             (tak (- z 1) x y)))))

  (assert-eq 5 (tak 12 8 4))
)