anchor.diff:  	;; This lambda list has no &AUX "parameters".  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)))
  +	  (convert-body forms new-env system))
   	;; This lambda list has the &AUX keyword in it.  There may or
   	;; may not be any &AUX "parameters" following that keyword.
   	;; We call PROCESS-REMAINING-AUX with the list of these &AUX
  
positive.code: ;;; of canonicalized declaration specifiers.  This list is used to
  ;;; determine whether a variable is declared special.
  
  ;;; We have already detected there is an &AUX lambda-list keyword in
  ;;; the lambda list, and this function recursively processes the
  ;;; remaining &AUX "parameters".  FORMS is a sequence of forms
  
negative.code:       ;; We ran out of &AUX "parameters".  We must build an AST for
        ;; the body of the function.
        (let ((new-env (augment-environment-with-declarations env rdspecs)))
  	(convert-body forms new-env system))
        ;; We have at least one more &AUX "parameter".
        (destructuring-bind (var init) (first aux)
  	(let* (;; We enter the new parameter variable into the
  