anchor.diff:  
   (defvar *subenv*)
   
  -(defmacro nonlocal (&body body)
  +(defmacro without-internal-definitions (&body body)
     `(progn ,@body))
   
   (defmacro local* (&body body)
  
positive.code:        (defun entry-point ...)) "
    `(local
       ,@(butlast body)
       (nonlocal ,@(last body))))
  
  (defun initialize-binds-from-decls (binds-in decls &optional env)
    "Given a list of bindings and a set of declarations, look for any
  
negative.code:     (if (atom form) (step-expansion self form)
          (destructuring-case-of internal-definition-form form
            ;; A specific form to stop expansion.
            ((without-internal-definitions &body _) (declare (ignore _))
             (expansion-done self form))
  
            ;; DEFINITION FORMS.
  