anchor.diff:  	    (itemize-declaration-specifiers
   	     (mapcar #'list variables)
   	     canonical-dspecs)
  -	  (cleavir-ast:make-progn-ast
  +	  (process-progn
   	   (append init-asts
   		   (list (process-remaining-let-bindings
   			  (mapcar #'cons variables temp-asts)
  
positive.code:       ;; We ran out of bindings.  We must build an AST for the body of
        ;; the function.
        (let ((new-env (augment-environment-with-declarations env rdspecs)))
  	(cleavir-ast:make-progn-ast (convert-sequence forms new-env system)))
        (destructuring-bind (var . init-form) (first bindings)
  	(let* (;; We enter the new variable into the environment and
  	       ;; then we process remaining parameters and ultimately
  
negative.code:     (info form-ast global-env system)
    (declare (ignore system))
    (let ((temp (cleavir-ast:make-lexical-ast (gensym))))
      (process-progn
       (list (cleavir-ast:make-setq-ast temp form-ast)
  	   (cleavir-ast:make-set-symbol-value-ast
  	    (cleavir-ast:make-load-time-value-ast `',(cleavir-env:name info))
  