anchor.diff:       (declare (ignorable ,@args))
        (klambda ,k-args ,@body)))
   
  -(defgeneric evaluate/cps (form env k))
  +(defgeneric evaluate/cc (form env k))
   
   (defvar *k*)
   
  
positive.code:      (setf (get ',name 'defmethod/cc) t)
       (defmethod ,name ,arguments
         (declare (ignorable ,@(extract-argument-names arguments :allow-specializers t)))
         (make-instance 'cps-closure
                        :code (walk-form '(lambda ,(extract-argument-names arguments :allow-specializers t
                                                                           :keep-lambda-keywords t)
                                           ,@body)
  
negative.code: This function can be used within the lexcial scope of
  with-call/cc and outside, though it has slightly different
  semantics."
    (drive-interpreter/cc
     (lambda ()
       (let ((k (apply (car k) (cdr k))))
         (cond
           (other-values (apply k primary-value other-values))
           (primary-value-p (funcall k primary-value))
           (t (funcall k nil)))))))
  
  ;;;; Implementation
  
  (defun drive-interpreter/cc (code)
    (catch 'done
      (loop for thunk = code then (funcall thunk))))
  
  (defmacro let/cc (k &body body)
    `(call/cc (lambda (,k) ,@body)))
  