anchor.diff:                     (form `(prog1 ,(car rgensyms)
                               (check-type ,(car rgensyms)
                                           (or ucons null)))))
  +              (declare (inline ucons))
                 (loop for gensym in (cdr rgensyms)
                       do (setf form `(ucons ,gensym ,form)))
                 form)))))
  
positive.code:    all future and past invocation of this function with the same
     arguments."
    (declare (type (or null ucons) cdr)
             (type ucons-car car))
    (flet ((hash-table-lookup (hash-table)
             (declare (hash-table hash-table))
             (or (gethash car hash-table)
  
negative.code:     (%hlist* (first args) (rest args))))
  
  (define-compiler-macro ulist* (&whole whole &rest arg-forms)
    (if (> (length arg-forms) 9)
        whole
        (let ((gensyms
                (loop for arg-form in arg-forms
  