恐るべき Scheme の威力

(define (A x y)
(cond ((= y 0) 0)
((= x 0) (* 2 y))
((= y 1) 2)
(else (A (- x 1)
(A x (- y 1))))))

(A 1 10)

これを DrScheme でステップ実行したらえらいことになった。