anchor.diff:            (get (operator func) 'defmethod/cc))
        (evaluate-arguments-then-apply
         (lambda (arguments)
  -        (apply-cps-lambda (apply (fdefinition (operator func)) arguments) arguments k))
  +        (apply-lambda/cc (apply (fdefinition (operator func)) arguments) arguments k))
         (arguments func) '()
         env))
          
  
positive.code:       env))
      
      ((eql 'funcall (operator func))
       (evaluate/cps-funcall (arguments func) env k))
      
      ((eql 'apply (operator func))
       (evaluate/cps-apply   (arguments func) '() env k))
      
      ((and (symbolp (operator func))
            (get (operator func) 'defun/cc))
       (evaluate-arguments-then-apply
        (lambda (arguments)
          (apply-cps-lambda (get (operator func) 'defun/cc) arguments k))
        (arguments func) '()
        env))
  
  
negative.code:                         ,env
                          ,k)))
        (dolist* ((var . value) evaluated-bindings
                  (evaluate-progn/cc body env k))
          (setf env (register env :let var value)))))
  
  (defmethod evaluate/cc ((let* let*-form) env k)
    (evaluate-let*/cc (binds let*) (body let*) env k))
  
  (defk k-for-evaluate-let*/cc (var bindings body env k)
      (value)
    (evaluate-let*/cc bindings body
                       (register env :let var value) k))
  
  (defun evaluate-let*/cc (bindings body env k)
    (if bindings
        (destructuring-bind (var . initial-value)
            (car bindings)
          (evaluate/cc initial-value env
                        `(k-for-evaluate-let*/cc ,var ,(cdr bindings) ,body ,env ,k)))
        (evaluate-progn/cc body env k)))
  
  ;;;; IF
  
  (defk k-for-evaluate-if/cc (then else env k)
      (value)
    (if value
        (evaluate/cc then env k)
        (evaluate/cc else env k)))
  
  (defmethod evaluate/cc ((if if-form) env k)
    (evaluate/cc (consequent if) env
                  `(k-for-evaluate-if/cc ,(then if) ,(else if) ,env ,k )))
  
  ;;;; LOCALLY
  
  (defmethod evaluate/cc ((locally locally-form) env k)
    (evaluate-progn/cc (body locally) env k))
  
  ;;;; MACROLET
  
  (defmethod evaluate/cc ((macrolet macrolet-form) env k)
    (evaluate-progn/cc (body macrolet) env k))
  
  ;;;; multiple-value-call
  
  