anchor.diff:                           ,@body))
                        body))
                  (wrap-macro-env (body)
  +                 "Wrap BODY with copies of any macros definitions currently in effect."
                    (wrap-symbol-macros
                     (wrap-macros
                      body)))
  
positive.code:                    ((list* (and name (type symbol)) _)
                      (if (assoc name macros)
                          (progn
                            (warn "Cannot use a non-initial local macro
                          definition in a partial expansion.")
                            (macroexpand-1 form env))
                          (macroexpand-1 form env)))
                     (otherwise
                      (macroexpand-1 form env))))
                 (expand (form env)
                   "Like macroexpand, but using expand-1."
                   (multiple-value-bind (exp exp?)
                       (expand-1 form env)
                     (if exp?
                         (expand exp env)
                         exp)))
                 (expand-body (body)
                   "Shorthand for recursing on implicit progns."
                   (expand-partially `(progn ,@body)))
                 (at-beginning? ()
                   "Return non-nil if no definitions or expressions have been expanded yet."
                   (nor vars hoisted-vars labels macros symbol-macros exprs))
                 (expand-partially (form)
                   "Macro-expand FORM until it becomes a definition form or macro expansion stops."
                   (if (consp form)
  
negative.code: 1. Macros and symbol macros cannot be defined inside of binding forms
  like `let': they must appear at the top level.
  
  2. Macro (but not symbol macros!) that are preceded by other
  expressions cannot be used in the partial expansions of subsequent
  forms. \(This simply cannot be done portably.\)
  
  The value returned by the `local` form is that of the last form in
  BODY. Note that definitions have return values in `local' just like
  