anchor.diff:  1. Macros and symbol macros cannot be defined inside of binding forms
   like `let': they must appear at the top level.
   
  -2. Macro definitions that are preceded by other expressions cannot be
  -used in the partial expansions of subsequent forms. (This limitation
  -does not apply to symbol macros.)
  +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
  
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: 
  Returns `plus', not 4.
  
  The `local' macro is loosely based on Racket's support for internal
  definitions."
    (multiple-value-bind (body decls) (parse-body orig-body)
      (let (vars hoisted-vars labels macros symbol-macros in-let? orig-form exprs)
        (declare (special in-let? orig-form))
  