(define fact-cps
  (lambda (n k)
    (if (zero? n)
	(k 1)
	(fact-cps (- n 1)
		  (trace-lambda k (v) (k (* n v)))))))

(fact-cps 5 add1)
(fact-cps 5 list)
(fact-cps 5 (lambda (v) v))