((/coi/bags/two-level-meta.lisp::syntax-deconsp (nil nil nil nil (if) nil nil) (nil nil nil nil (mv mv) nil (and)) ((t nil nil nil) nil (consp consp consp null cadr caddr) (equal) nil nil nil) ((list list list) nil (car quote cdr cddr cdddr) nil nil nil nil) ((list cons list list list) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/coi/bags/two-level-meta.lisp::syntax-subbagp-list-wrapper (nil nil nil nil (if) nil nil) ((term) nil (quote) nil nil nil nil) (nil nil (consp consp consp null quote) (equal) (syntax-subbagp-list-fn) nil nil) ((term nil t) nil (car quote cdr cddr cdddr cadr caddr) nil nil nil nil) ((term any-subbagp term term term term term) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))