;;;; run.scm


(use trace)


(define (foo x y)
  (if (zero? x)
      y
      (foo (sub1 x) (add1 y))))

(trace foo)
(assert (= 10 (foo 10 0)))

(break foo)

(assert (condition-case 
	 (begin (foo 1 2) #f)
	 (breakpoint () #t)))