anchor.diff:  
   (defun %interpret-call (allow-override-p instance method args)
     (let ((instance (full-resolve-this instance)))
  -    (funcall (resolve-call allow-override-p instance method args)
  +    (funcall (resolve-call allow-override-p instance method args nil)
                instance
                args)))
  
positive.code:                       (for sym in argsyms)
                        (unless (constantp arg env)
                          (collect `(,sym ,arg))))
                    (method ,method)
                    (types ',fix-types)
                    (args ,(if (zerop (number-of-non-constantp args))
                               `',args
  
negative.code: 
  (defmacro optimized-call (allow-override-p instance method &rest args
                            &environment env)
    (make-optimized instance
      :instance-resolver #'compile-time-resolve-this
      :args args
      :resolver `(resolve-call ,allow-override-p instance ,method args types)
      :env env))
  
  (defmacro optimized-new (class-or-instance &rest args
                           &environment env)
    (make-optimized class-or-instance
      :instance-resolver #'compile-time-resolve-ctor-this
      :args args
      :resolver `(resolve-new instance args types)
      :env env))
  
  (defun resolve-call (allow-override-p instance method args fix-types)
    ;; (format *trace-output* "cache miss for ~A::~A~%" instance method)
    (let ((name method)
          (method (etypecase method
  