(define $f (lambda [$x] (if (eq? x 0) (f (+ x 1)) (f (- x 1))))) (define $g (lambda [$x] (h (+ x 1)))) (define $h (lambda [$x] (g (- x 1)))) (f 0) ;(g 0)