anchor.diff:      (dolist* ((var . value) (binds let))
         (declare (ignore value))
         (setf env (register env :let var :dummy)))
  -    (setf (body let) (walk-implict-progn let (cddr form) env :declare t))))
  +    (multiple-value-setf ((body let) nil (declares let)) (walk-implict-progn let (cddr form) env :declare t))))
   
   (defclass let*-form (variable-binding-form)
     ())
  
positive.code:                         ;; declare form
                          (let ((declarations (rest form)))
                            (dolist* (dec declarations)
                              (setf env (parse-declaration dec env))))
                          ;; source code, all done
                          (done)))
                (string (if docstring
  
negative.code:       (let ((handler (eval `(lambda ,args ,@body))))
          (setf env (register env :macrolet name handler))
          (push (cons name handler) (binds macrolet))))
      (setf (binds macrolet) (nreverse (binds macrolet)))
      (multiple-value-setf ((body macrolet) nil (declares macrolet)) (walk-implict-progn macrolet (cddr form) env :declare t))))
  
  ;;;; MULTIPLE-VALUE-CALL
  
  