anchor.diff:      (declare (ignorable _))
       p))
   
  +(defmacro kernel-manager-function-name (mgr name)
  +  `(function-name (function-info ,mgr ,name)))
  +
   (defmacro kernel-manager-function-handle (mgr name)
     `(function-handle (function-info ,mgr ,name)))
   
   (defmacro kernel-manager-function-arg-types (mgr name)
     `(function-arg-types (function-info ,mgr ,name)))
   
  -(defmacro kernel-manager-function-name (mgr name)
  -  `(function-name (function-info ,mgr ,name)))
  +(defmacro kernel-manager-function-c-name (mgr name)
  +  `(function-c-name (function-info ,mgr ,name)))
   
   (defmacro kernel-manager-function-code (mgr name)
     `(function-code (function-info ,mgr ,name)))
  
positive.code: 
  ;;; function-info
  
  (defun make-function-info (arg-types fname code)
    (list nil arg-types fname code))
  
  (defmacro function-handle (info)
    `(car ,info))
  
  (defmacro function-arg-types (info)
    `(cadr ,info))
  
  (defmacro function-name (info)
    `(caddr ,info))
  
  (defmacro function-code (info)
    `(cadddr ,info))
  
  
  ;;; ensuring kernel manager
  
negative.code:         (setf (kernel-manager-function-code mgr name) 'code)
          (setf (kernel-manager-module-compilation-needed mgr) t))
        (setf (function-info mgr name)
              (make-function-info name arg-types fname 'code))))
  
  (defun function-modified-p (info arg-types code)
    (or (neq arg-types (function-arg-types info))
  