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: 
  ;;;; FLET/LABELS
  
  (defclass function-binding-form (form binding-form-mixin implicit-progn-mixin)
    ())
  
  (defclass flet-form (function-binding-form)
  
negative.code:                (done)))
           do (pop body)
           finally (done)))))
  
  (defclass declaration-form (form)
    ())
  
  (defun parse-declaration (declaration environment)
    (macrolet ((extend-env ((var list) &rest datum)
  