> (rep) >> (define fac (lambda (n) (if (= n 0) (call/cc (lambda (k) (exit k))) (* n (fac (- n 1)))))) # >> (fac 5) '(acontinuation (eval-exps-cont () (cons-cont 1 (cons-cont (primitive *) (proc-cont (eval-exps-cont () (cons-cont 2 (cons-cont (primitive *) (proc-cont (eval-exps-cont () (cons-cont 3 (cons-cont (primitive *) (proc-cont (eval-exps-cont () (cons-cont 4 (cons-cont (primitive *) (proc-cont (eval-exps-cont () (cons-cont 5 (cons-cont (primitive *) (proc-cont (rep-cont)))) (((n) . #(5))))))) (((n) . #(4))))))) (((n) . #(3))))))) (((n) . #(2))))))) (((n) . #(1))))) >> .