anchor.diff:                     &body body)
     (cond
       (other-values-p `(lambda (,value &rest ,other-values)
  -                       (lambda () ,@body)))
  +                       (lambda ()
  +                         (when *debug-evaluate/cc*
  +                           (format *debug-io* "~&Got (values ~S~{~^ ~S~}).~%"
  +                                   ,value ,other-values))
  +                         ,@body)))
       (valuep `(lambda (,value &rest ,other-values)
                  (declare (ignore ,other-values))
  -               (lambda () ,@body)))
  +               (lambda ()
  +                 (when *debug-evaluate/cc*
  +                   (format *debug-io* "~&Got ~S.~%"
  +                           ,value))
  +                 ,@body)))
       (t `(lambda (,value &rest ,other-values)
  -          (declare (ignore ,value ,other-values))
  -          (lambda () ,@body)))))
  +          (lambda ()
  +            (when *debug-evaluate/cc*
  +              (format *debug-io* "~&Ignoring (values ~S~{~^ ~S~}).~%"
  +                      ,value ,other-values))
  +            ,@body)))))
   
   (defun kontinue (k &optional (primary-value nil primary-value-p)
                    &rest other-values)
  
positive.code:      (klambda ,k-args ,@body)))
  
  (defgeneric evaluate/cc (form env k))
  
  (defvar *k*)
  
  
negative.code: (defun (setf fdefinition/cc) (closure-object function-name)
    (setf (gethash function-name *cc-functions*) closure-object))
  
  (defvar *debug-evaluate/cc* nil
    "When non NIL the evaluator will print, at each evaluation
    step, what it's evaluating and the value passed in from the
    previous step.
  
  If set to :FULL then at each step we print the form, the
  environment and the continuation. If set to T we just print the
  form being evaluated.")
  
  ;;;; Implementation
  
  (defun drive-interpreter/cc (code)
  