anchor.diff:      (cond
         ; No sublevel. Splice evaluated QUASIQUOTE-SPLICE expression.
         ((= sublevel 0)
  -          (with (x (cadar e))
  -               (cond
  -                 ; Ignore NIL evaluation.
  -                 ((not x)
  -                      (quote-expand-0 (cdr e) sublevel))
  -                 ((atom x)
  -                      (error "QUASIQUOTE-SPLICE: list expected"))
  -                 (t   `(append ,x
  -                               ,(quote-expand-1 (cdr e) sublevel))))))
  +          `(append ,(cadar e)
  +                   ,(quote-expand-1 (cdr e) sublevel)))
   
         (t  (quasiquote-subexpand 'QUASIQUOTE-SPLICE e sublevel))))
   
   ;; Expand BACKQUOTE arguments.
   (defun quote-expand-1 (e sublevel)
       (cond
  +	  ((endp e))
  +
         ; Return atom as is.
         ((atom e)
  -          `(quote e))
  +          `(%quote ,e))
   
         ; Return element if it's not a cons.
         ((atom (car e))
  -          `(cons (quote ,(car e))
  +          `(cons (%quote ,(car e))
                   ,(quote-expand-1 (cdr e) sublevel)))
   
         ; Do QUASIQUOTE expansion.
  
positive.code: (defun quote-expand (e)
    (quote-expand-0 e 0))
  
  (defun backquote-expand (l)
    (tree-walk l
  	:ascending
  	  #'((x)
  		   (if (backquote? x)
  			 (quote-expand x)
  			 x))
  	:dont-ascend-if
  	  #'quote?))
  
negative.code:     (cond
        ; Return atom as is.
        ((atom e)
            `(%quote e))
  
        ; Enter new backquote level.
        ((eq (car e) 'BACKQUOTE)
  