; Ackermann (define a (lambda (n m) (if (eqv? n 0) (+ m 1) (if (eqv? m 0) (a (- n 1) 1) (a (- n 1) (a n (- m 1)))))))