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