((/clause-processors/meta-extract-simple-test.lisp::nth-symbolp-metafn (nil nil nil nil (case-match) nil nil) ((term) nil (((quote nth) n x) &) nil nil nil nil) ((term) nil nil nil (if) nil nil) (nil nil (`) (equal prog2$) nil nil nil) ((*ts-symbol* term) nil (car) (cw) nil nil (mfc-ts)) ((n mfc state :forcep nil Oops, the typeset of n is ~x0~%) nil (,) nil nil nil (mfc-ts)) ((x n mfc state :forcep nil) nil nil nil nil nil nil)))