(VL::VL-MAKE-INTERFACE-BY-ITEMS
 (168 2 (:REWRITE VL::STRINGP-WHEN-TRUE-LISTP))
 (118 57 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (114 114 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (114 114 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (99 3 (:REWRITE VL::VL-PORTLIST-P-WHEN-VL-REGULARPORTLIST-P))
 (99 3 (:REWRITE VL::VL-PORTLIST-P-WHEN-VL-INTERFACEPORTLIST-P))
 (90 5 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (84 3 (:REWRITE VL::VL-REGULARPORTLIST-P-WHEN-NOT-CONSP))
 (84 3 (:REWRITE VL::VL-INTERFACEPORTLIST-P-WHEN-NOT-CONSP))
 (63 63 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (62 3 (:REWRITE VL::VL-ATTS-P-WHEN-NOT-CONSP))
 (58 27 (:REWRITE VL::VL-GENBLOB-P-BY-TAG-WHEN-VL-SCOPE-P))
 (56 2 (:REWRITE VL::VL-PORTLIST-P-WHEN-NOT-CONSP))
 (56 2 (:REWRITE VL::VL-PARAMDECLLIST-P-WHEN-NOT-CONSP))
 (56 2 (:REWRITE VL::VL-GENELEMENTLIST-P-WHEN-NOT-CONSP))
 (56 2 (:REWRITE VL::VL-ANSI-PORTDECLLIST-P-WHEN-NOT-CONSP))
 (56 2 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (50 1 (:REWRITE SUBSETP-APPEND1))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (49 49 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (49 49 (:REWRITE CONSP-BY-LEN))
 (49 4 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (45 4 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (37 1 (:REWRITE SUBSETP-OF-CONS))
 (34 2 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (33 14 (:REWRITE SUBSETP-TRANS2))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-TYPEDEFLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-TASKDECLLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-SEQUENCELIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-PROPERTYLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-MODPORTLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-MODINSTLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-LETDECLLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-INITIALLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-IMPORTLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-GENVARLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-GCLKDECLLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-GATEINSTLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-FWDTYPEDEFLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-FUNDECLLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-FINALLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-ELABTASKLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-DPIIMPORTLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-DPIEXPORTLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-DEFAULTDISABLELIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-COVERGROUPLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-CLKDECLLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-CLASSLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-CASSERTIONLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-BINDLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-ASSERTIONLIST-P))
 (33 1 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-ALWAYSLIST-P))
 (31 4 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (28 10 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (28 2 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (28 1 (:REWRITE VL::VL-TYPEDEFLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-TASKDECLLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-SEQUENCELIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-PROPERTYLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-MODPORTLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-MODINSTLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-LETDECLLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-INITIALLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-IMPORTLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-GENVARLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-GCLKDECLLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-GATEINSTLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-FWDTYPEDEFLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-FUNDECLLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-FINALLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-ELABTASKLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-DPIIMPORTLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-DPIEXPORTLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-DEFAULTDISABLELIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-COVERGROUPLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-CLKDECLLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-CLASSLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-CASSERTIONLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-BINDLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-ASSERTIONLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE VL::VL-ALWAYSLIST-P-WHEN-NOT-CONSP))
 (24 2 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (19 3 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (14 14 (:REWRITE SUBSETP-TRANS))
 (14 2 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (12 2 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (10 10 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (8 4 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (8 2 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-REGULARPORTLIST-P))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-INTERFACEPORTLIST-P))
 (6 6 (:REWRITE VL::VL-REGULARPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL::VL-INTERFACEPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (6 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (6 1 (:REWRITE VL::VL-PARSE-TEMPS-P-WHEN-VL-MAYBE-PARSE-TEMPS-P))
 (5 5 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (4 4 (:TYPE-PRESCRIPTION STRING-LISTP))
 (4 4 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (4 4 (:REWRITE VL::VL-PARAMDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-PARAMDECLLIST-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-LIST-P))
 (4 4 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (4 4 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (4 4 (:REWRITE VL::SYMBOL-LISTP-OF-ALIST-VALS-OF-VL-FULL-KEYWORD-TABLE))
 (4 4 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (4 4 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (4 4 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE BOOLEANP-WHEN-MEMBER-EQUAL-OF-BOOLEAN-LISTP))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (4 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (4 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (4 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (3 3 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (3 3 (:REWRITE SUBSETP-MEMBER . 2))
 (3 3 (:REWRITE SUBSETP-MEMBER . 1))
 (3 3 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (3 1 (:REWRITE VL::TAG-WHEN-VL-TIMETOKEN-P))
 (3 1 (:REWRITE VL::TAG-WHEN-VL-TF-PARSED-VAR-ID-P))
 (3 1 (:REWRITE VL::TAG-WHEN-VL-SYSIDTOKEN-P))
 (3 1 (:REWRITE VL::TAG-WHEN-VL-STRINGTOKEN-P))
 (3 1 (:REWRITE VL::TAG-WHEN-VL-REALTOKEN-P))
 (3 1 (:REWRITE VL::TAG-WHEN-VL-INTTOKEN-P))
 (3 1 (:REWRITE VL::TAG-WHEN-VL-IDTOKEN-P))
 (3 1 (:REWRITE VL::TAG-WHEN-VL-EXTINTTOKEN-P))
 (3 1 (:REWRITE VL::TAG-WHEN-VL-ERANGE-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-LETDECLLIST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-GATEINSTLIST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-FWDTYPEDEFLIST-P))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-COVERGROUPLIST-P))
 (2 2 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 2 (:REWRITE VL::VL-TYPEDEFLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-TASKDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-SEQUENCELIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-PROPERTYLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-MODPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-MODINSTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-LETDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-INITIALLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-IMPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-GENVARLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-GCLKDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-GATEINSTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-FWDTYPEDEFLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-FUNDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-FINALLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-ELABTASKLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-DPIIMPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-DPIEXPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-DEFAULTDISABLELIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-COVERGROUPLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-CLKDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-CLASSLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-CASSERTIONLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-BINDLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-ASSERTIONLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-ALWAYSLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (2 2 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (2 2 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:REWRITE FN-CHECK-DEF-FORMALS))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (2 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TIMETOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TF-PARSED-VAR-ID-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-REALTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-INTTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-IDTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ERANGE-P))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-SCOPETYPE-FIX-UNDER-VL-SCOPETYPE-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-PARAMDECLLIST-FIX-UNDER-VL-PARAMDECLLIST-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-SCOPEID-FIX-UNDER-VL-MAYBE-SCOPEID-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-IMPORTLIST-FIX-UNDER-VL-IMPORTLIST-EQUIV))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-INTERFACE-P-OF-VL-MAKE-INTERFACE-BY-ITEMS
 (2 2 (:TYPE-PRESCRIPTION BINARY-APPEND))
 )
(VL::VL-PARSE-INTERFACE-DECLARATION-CORE-FN
 (505 17 (:REWRITE VL::NTH-WHEN-TOO-BIG))
 (488 12 (:REWRITE VL::NATP-WHEN-POSP))
 (350 4 (:REWRITE NATP-POSP))
 (290 101 (:REWRITE LEN-WHEN-ATOM))
 (282 28 (:LINEAR VL::LEN-OF-CDR-STRONG))
 (272 272 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (272 272 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (239 12 (:REWRITE NTH-WITH-LARGE-INDEX))
 (215 4 (:REWRITE VL::VL-TOKENLIST-P-WHEN-NOT-CONSP))
 (197 12 (:REWRITE NTH-WHEN-TOO-LARGE-CHEAP))
 (162 9 (:REWRITE VL::NATP-OF-CAR-WHEN-NAT-LISTP))
 (156 78 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (142 12 (:REWRITE NATP-RW))
 (140 64 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (124 6 (:REWRITE VL::VL-ATTS-P-WHEN-NOT-CONSP))
 (114 114 (:REWRITE DEFAULT-CDR))
 (102 6 (:REWRITE VL::NAT-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-NAT-LISTP))
 (94 6 (:REWRITE VL::VL-IDTOKEN-P-WHEN-WRONG-TAG))
 (90 12 (:REWRITE VL::VL-TOKEN-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLIST-P))
 (79 12 (:REWRITE VL::VL-IDTOKEN-P-WHEN-TOKEN-OF-TYPE-IDTOKEN))
 (79 6 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-EXTINTTOKEN-P))
 (78 78 (:TYPE-PRESCRIPTION ATOM))
 (68 4 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (64 64 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (64 64 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (64 4 (:REWRITE POSP-RW))
 (63 6 (:REWRITE INTEGERP-OF-CAR-WHEN-NAT-LISTP))
 (63 4 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (62 62 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (62 62 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (62 62 (:LINEAR LEN-WHEN-PREFIXP))
 (62 40 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (61 6 (:REWRITE VL::VL-EXTINTTOKEN-P-WHEN-TOKEN-OF-TYPE-EXTINTTOKEN))
 (60 3 (:REWRITE VL::NAT-LISTP-OF-CDR-WHEN-NAT-LISTP))
 (60 3 (:LINEAR LOWER-BOUND-OF-CAR-WHEN-NAT-LISTP))
 (59 12 (:REWRITE NTH-WHEN-ATOM))
 (59 12 (:REWRITE VL::NTH-OF-ATOM))
 (58 11 (:REWRITE DEFAULT-CAR))
 (57 6 (:REWRITE INTEGERP-OF-CAR-WHEN-INTEGER-LISTP))
 (56 4 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (55 6 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-IDTOKEN-P))
 (54 8 (:REWRITE VL::INTEGERP-WHEN-NATP))
 (54 3 (:REWRITE VL::POSP-OF-CAR-WHEN-POS-LISTP))
 (52 4 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (51 15 (:REWRITE NAT-LISTP-WHEN-NOT-CONSP))
 (48 4 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (45 9 (:REWRITE NAT-LISTP-OF-CDR-WHEN-NAT-LISTP))
 (43 6 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-TIMETOKEN-P))
 (43 6 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-SYSIDTOKEN-P))
 (43 6 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-STRINGTOKEN-P))
 (43 6 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-REALTOKEN-P))
 (43 6 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-INTTOKEN-P))
 (42 21 (:REWRITE DEFAULT-<-2))
 (37 37 (:REWRITE VL::VL-PARSE-0+-PACKAGE-IMPORT-DECLARATIONS-FAILS-GRACEFULLY))
 (36 36 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (36 12 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (32 16 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-SEQUENCELIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-PROPERTYLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-MODPORTLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-LETDECLLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-GENVARLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-GCLKDECLLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-FWDTYPEDEFLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-ELABTASKLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-DPIIMPORTLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-DPIEXPORTLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-DEFAULTDISABLELIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-COVERGROUPLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-CLKDECLLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-CLASSLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-CASSERTIONLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-BINDLIST-P))
 (32 2 (:REWRITE VL::VL-MODELEMENTLIST-P-WHEN-VL-ASSERTIONLIST-P))
 (31 31 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (31 31 (:LINEAR INDEX-OF-<-LEN))
 (31 31 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (30 30 (:REWRITE NAT-LISTP-WHEN-SUBSETP-EQUAL))
 (30 9 (:REWRITE NATP-OF-CAR-WHEN-NAT-LISTP))
 (29 4 (:REWRITE VL::VL-TOKENLIST-P-OF-CAR-WHEN-VL-TOKENLISTLIST-P))
 (28 4 (:REWRITE |(< 0 (len x))|))
 (25 6 (:REWRITE VL::VL-TIMETOKEN-P-WHEN-TOKEN-OF-TYPE-TIMETOKEN))
 (25 6 (:REWRITE VL::VL-SYSIDTOKEN-P-WHEN-TOKEN-OF-TYPE-SYSIDTOKEN))
 (25 6 (:REWRITE VL::VL-STRINGTOKEN-P-WHEN-TOKEN-OF-TYPE-STRINGTOKEN))
 (25 6 (:REWRITE VL::VL-REALTOKEN-P-WHEN-TOKEN-OF-TYPE-REALTOKEN))
 (25 6 (:REWRITE VL::VL-INTTOKEN-P-WHEN-TOKEN-OF-TYPE-INTTOKEN))
 (24 24 (:REWRITE VL::VL-IDTOKEN-P-WHEN-MEMBER-EQUAL-OF-VL-IDTOKEN-LIST-P))
 (24 24 (:REWRITE VL::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (24 24 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (24 6 (:REWRITE VL::POS-LISTP-WHEN-NOT-CONSP))
 (24 6 (:REWRITE VL::NAT-LISTP-WHEN-NOT-CONSP))
 (24 6 (:REWRITE MEMBER-WHEN-ATOM))
 (24 6 (:REWRITE INTEGER-LISTP-WHEN-NOT-CONSP))
 (24 4 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (24 4 (:REWRITE VL::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (22 22 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (22 2 (:REWRITE VL::VL-SEQUENCELIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-PROPERTYLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-MODPORTLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-LETDECLLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-GENVARLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-GCLKDECLLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-FWDTYPEDEFLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-ELABTASKLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-DPIIMPORTLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-DPIEXPORTLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-DEFAULTDISABLELIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-COVERGROUPLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-CLKDECLLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-CLASSLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-CASSERTIONLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-BINDLIST-P-WHEN-NOT-CONSP))
 (22 2 (:REWRITE VL::VL-ASSERTIONLIST-P-WHEN-NOT-CONSP))
 (21 21 (:REWRITE DEFAULT-<-1))
 (21 21 (:META CANCEL_PLUS-LESSP-CORRECT))
 (21 4 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (21 4 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (20 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (18 6 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-PLAINTOKEN-P))
 (18 3 (:REWRITE VL::POS-LISTP-OF-CDR-WHEN-POS-LISTP))
 (18 3 (:REWRITE INTEGER-LISTP-OF-CDR-WHEN-INTEGER-LISTP))
 (16 16 (:TYPE-PRESCRIPTION POSP))
 (16 16 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (16 16 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TIMETOKEN-P))
 (16 16 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (16 16 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (16 16 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-REALTOKEN-P))
 (16 16 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-INTTOKEN-P))
 (16 16 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (16 16 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (16 16 (:REWRITE SET::IN-SET))
 (16 8 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (16 4 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (15 15 (:REWRITE NAT-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (13 7 (:REWRITE VL::VL-TOKEN->TYPE-OF-VL-MATCH-TOKEN))
 (12 12 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PLAINTOKEN-P))
 (12 12 (:REWRITE SUBSETP-MEMBER . 2))
 (12 12 (:REWRITE SUBSETP-MEMBER . 1))
 (12 12 (:REWRITE VL::POS-LISTP-WHEN-SUBSETP-EQUAL))
 (12 12 (:REWRITE NTH-WHEN-ZP))
 (12 12 (:REWRITE VL::NAT-LISTP-WHEN-SUBSETP-EQUAL))
 (12 12 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (12 12 (:REWRITE INTEGER-LISTP-WHEN-SUBSETP-EQUAL))
 (12 12 (:REWRITE CONSP-BY-LEN))
 (12 4 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (11 11 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (10 10 (:REWRITE FN-CHECK-DEF-FORMALS))
 (10 4 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (9 4 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-NOT-CONSP))
 (9 4 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (9 4 (:REWRITE VL::ALL-HAVE-LEN-WHEN-NOT-CONSP))
 (9 4 (:REWRITE ALISTP-WHEN-ATOM))
 (8 8 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (8 8 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (8 8 (:TYPE-PRESCRIPTION VL::ALL-HAVE-LEN))
 (8 8 (:TYPE-PRESCRIPTION ALISTP))
 (8 8 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL::VL-TOKENLIST-P-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL::VL-TOKENLIST-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLISTLIST-P))
 (8 8 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (8 8 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (8 8 (:REWRITE VL::SYMBOL-LISTP-OF-ALIST-VALS-OF-VL-FULL-KEYWORD-TABLE))
 (8 8 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (8 8 (:REWRITE VL::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (8 8 (:REWRITE NTH-WHEN-PREFIXP))
 (8 8 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (8 4 (:REWRITE VL::TAG-WHEN-VL-TIMETOKEN-P))
 (8 4 (:REWRITE VL::TAG-WHEN-VL-TF-PARSED-VAR-ID-P))
 (8 4 (:REWRITE VL::TAG-WHEN-VL-SYSIDTOKEN-P))
 (8 4 (:REWRITE VL::TAG-WHEN-VL-STRINGTOKEN-P))
 (8 4 (:REWRITE VL::TAG-WHEN-VL-REALTOKEN-P))
 (8 4 (:REWRITE VL::TAG-WHEN-VL-INTTOKEN-P))
 (8 4 (:REWRITE VL::TAG-WHEN-VL-IDTOKEN-P))
 (8 4 (:REWRITE VL::TAG-WHEN-VL-EXTINTTOKEN-P))
 (8 4 (:REWRITE VL::TAG-WHEN-VL-ERANGE-P))
 (8 4 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (8 4 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (8 4 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (8 4 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (6 6 (:REWRITE SUBSETP-MEMBER . 4))
 (6 6 (:REWRITE SUBSETP-MEMBER . 3))
 (6 6 (:REWRITE INTERSECTP-MEMBER . 3))
 (6 6 (:REWRITE INTERSECTP-MEMBER . 2))
 (5 5 (:REWRITE VL::VL-PARSE-MODULE-PORT-LIST-TOP-FAILS-GRACEFULLY))
 (4 4 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TF-PARSED-VAR-ID-P))
 (4 4 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ERANGE-P))
 (4 4 (:REWRITE VL::VL-SEQUENCELIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-PROPERTYLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-MODPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-LETDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-GENVARLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-GENELEMENTLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-GCLKDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-FWDTYPEDEFLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-ELABTASKLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-DPIIMPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-DPIEXPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-DEFAULTDISABLELIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-COVERGROUPLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 (4 4 (:REWRITE VL::VL-CLKDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-CLASSLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-CASSERTIONLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-BINDLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-ASSERTIONLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (4 4 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (4 4 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (4 4 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (4 4 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (4 4 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (3 3 (:REWRITE VL::VL-PARSE-GENELEMENT-VAL-WHEN-ERROR-VL-PARSE-GENELEMENTS-UNTIL))
 (3 3 (:REWRITE VL::VL-MAYBE-PARSE-PARAMETER-PORT-LIST-FAILS-GRACEFULLY))
 )
(VL::VL-PARSE-INTERFACE-DECLARATION-CORE-FAILS-GRACEFULLY
 (588 294 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (127 19 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (21 7 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (14 14 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (14 14 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (14 7 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (7 7 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (7 7 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-WARNING-P-OF-VL-PARSE-INTERFACE-DECLARATION-CORE
 (76 38 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (45 9 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (38 38 (:TYPE-PRESCRIPTION ATOM))
 (20 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (8 8 (:TYPE-PRESCRIPTION VL::VL-MODELEMENTLIST->GENELEMENTS))
 (8 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (7 7 (:REWRITE VL::VL-PARSE-MODULE-PORT-LIST-TOP-FAILS-GRACEFULLY))
 (6 6 (:REWRITE VL::VL-PARSE-GENELEMENT-VAL-WHEN-ERROR-VL-PARSE-GENELEMENTS-UNTIL))
 (6 6 (:REWRITE VL::VL-PARSE-0+-PACKAGE-IMPORT-DECLARATIONS-FAILS-GRACEFULLY))
 (6 6 (:REWRITE VL::VL-MAYBE-PARSE-PARAMETER-PORT-LIST-FAILS-GRACEFULLY))
 (6 2 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (4 4 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (4 4 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (4 4 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (3 3 (:REWRITE VL::VL-PARSE-ENDBLOCK-NAME-FAILS-GRACEFULLY))
 )
(VL::VL-PARSE-INTERFACE-DECLARATION-CORE-RESULT
 (308 11 (:REWRITE VL::VL-ATTS-P-WHEN-NOT-CONSP))
 (253 11 (:REWRITE VL::VL-IDTOKEN-P-WHEN-WRONG-TAG))
 (251 111 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (228 114 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (143 22 (:REWRITE VL::VL-IDTOKEN-P-WHEN-TOKEN-OF-TYPE-IDTOKEN))
 (132 11 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-EXTINTTOKEN-P))
 (114 114 (:TYPE-PRESCRIPTION ATOM))
 (111 111 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (111 111 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (99 11 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-IDTOKEN-P))
 (99 11 (:REWRITE VL::VL-EXTINTTOKEN-P-WHEN-TOKEN-OF-TYPE-EXTINTTOKEN))
 (77 11 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-TIMETOKEN-P))
 (77 11 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-SYSIDTOKEN-P))
 (77 11 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-STRINGTOKEN-P))
 (77 11 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-REALTOKEN-P))
 (77 11 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-INTTOKEN-P))
 (63 63 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (60 6 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (47 3 (:REWRITE VL::VL-INTERFACE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (47 3 (:REWRITE VL::VL-INTERFACE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (47 3 (:REWRITE VL::VL-INTERFACE-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (46 23 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (44 44 (:REWRITE VL::VL-IDTOKEN-P-WHEN-MEMBER-EQUAL-OF-VL-IDTOKEN-LIST-P))
 (44 11 (:REWRITE VL::VL-TIMETOKEN-P-WHEN-TOKEN-OF-TYPE-TIMETOKEN))
 (44 11 (:REWRITE VL::VL-SYSIDTOKEN-P-WHEN-TOKEN-OF-TYPE-SYSIDTOKEN))
 (44 11 (:REWRITE VL::VL-STRINGTOKEN-P-WHEN-TOKEN-OF-TYPE-STRINGTOKEN))
 (44 11 (:REWRITE VL::VL-REALTOKEN-P-WHEN-TOKEN-OF-TYPE-REALTOKEN))
 (44 11 (:REWRITE VL::VL-INTTOKEN-P-WHEN-TOKEN-OF-TYPE-INTTOKEN))
 (40 17 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (39 39 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TIMETOKEN-P))
 (39 39 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (39 39 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (39 39 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-REALTOKEN-P))
 (39 39 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-INTTOKEN-P))
 (39 39 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (34 34 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (34 34 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (34 17 (:REWRITE VL::TAG-WHEN-VL-TIMETOKEN-P))
 (34 17 (:REWRITE VL::TAG-WHEN-VL-TF-PARSED-VAR-ID-P))
 (34 17 (:REWRITE VL::TAG-WHEN-VL-SYSIDTOKEN-P))
 (34 17 (:REWRITE VL::TAG-WHEN-VL-STRINGTOKEN-P))
 (34 17 (:REWRITE VL::TAG-WHEN-VL-REALTOKEN-P))
 (34 17 (:REWRITE VL::TAG-WHEN-VL-INTTOKEN-P))
 (34 17 (:REWRITE VL::TAG-WHEN-VL-IDTOKEN-P))
 (34 17 (:REWRITE VL::TAG-WHEN-VL-EXTINTTOKEN-P))
 (34 17 (:REWRITE VL::TAG-WHEN-VL-ERANGE-P))
 (33 11 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-PLAINTOKEN-P))
 (24 24 (:TYPE-PRESCRIPTION VL::VL-MODELEMENTLIST->GENELEMENTS))
 (23 23 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (23 23 (:REWRITE SET::IN-SET))
 (22 22 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PLAINTOKEN-P))
 (22 22 (:REWRITE VL::VL-TOKEN-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLIST-P))
 (17 17 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TF-PARSED-VAR-ID-P))
 (17 17 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ERANGE-P))
 (11 11 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (11 11 (:REWRITE CONSP-BY-LEN))
 (6 6 (:REWRITE VL::VL-INTERFACE-P-WHEN-MEMBER-EQUAL-OF-VL-INTERFACELIST-P))
 )
(VL::VL-PARSE-INTERFACE-DECLARATION-CORE-COUNT-STRONG
 (16654 616 (:REWRITE LEN-WHEN-ATOM))
 (3213 19 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (1590 19 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (1270 632 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (1264 1264 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (1264 1264 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (692 13 (:REWRITE LEN-WHEN-PREFIXP))
 (626 626 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (626 626 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (626 626 (:REWRITE CONSP-BY-LEN))
 (572 572 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (572 572 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (572 572 (:LINEAR LEN-WHEN-PREFIXP))
 (476 238 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (300 300 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (300 300 (:LINEAR INDEX-OF-<-LEN))
 (286 286 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (259 16 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (259 16 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (238 238 (:TYPE-PRESCRIPTION ATOM))
 (140 5 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (140 5 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (61 13 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (60 6 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (57 3 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (57 3 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (56 28 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (42 42 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (28 28 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (28 28 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (26 13 (:REWRITE DEFAULT-<-2))
 (26 13 (:REWRITE DEFAULT-<-1))
 (24 24 (:TYPE-PRESCRIPTION VL::VL-MODELEMENTLIST->GENELEMENTS))
 (21 21 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (19 19 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (19 19 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (19 19 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (19 19 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (15 15 (:META CANCEL_PLUS-LESSP-CORRECT))
 (14 14 (:REWRITE VL::VL-PARSE-MODULE-PORT-LIST-TOP-FAILS-GRACEFULLY))
 (10 10 (:REWRITE VL::VL-PARSE-GENELEMENT-VAL-WHEN-ERROR-VL-PARSE-GENELEMENTS-UNTIL))
 (9 9 (:REWRITE VL::VL-PARSE-0+-PACKAGE-IMPORT-DECLARATIONS-FAILS-GRACEFULLY))
 (9 9 (:REWRITE VL::VL-MAYBE-PARSE-PARAMETER-PORT-LIST-FAILS-GRACEFULLY))
 (7 7 (:REWRITE SUBLISTP-COMPLETE))
 (4 4 (:REWRITE VL::VL-PARSE-ENDBLOCK-NAME-FAILS-GRACEFULLY))
 (3 3 (:TYPE-PRESCRIPTION LIST-EQUIV))
 )
(VL::VL-PARSE-INTERFACE-MAIN-FN)
(VL::VL-PARSE-INTERFACE-MAIN-FAILS-GRACEFULLY
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::VL-WARNINGLIST-FIX-UNDER-VL-WARNINGLIST-EQUIV))
 )
(VL::VL-WARNING-P-OF-VL-PARSE-INTERFACE-MAIN
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::VL-WARNINGLIST-FIX-UNDER-VL-WARNINGLIST-EQUIV))
 )
(VL::VL-PARSE-INTERFACE-MAIN-RESULT
 (28 1 (:REWRITE VL::VL-ATTS-P-WHEN-NOT-CONSP))
 (23 1 (:REWRITE VL::VL-IDTOKEN-P-WHEN-WRONG-TAG))
 (20 9 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (13 2 (:REWRITE VL::VL-IDTOKEN-P-WHEN-TOKEN-OF-TYPE-IDTOKEN))
 (12 1 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-EXTINTTOKEN-P))
 (9 9 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (9 9 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (9 1 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-IDTOKEN-P))
 (9 1 (:REWRITE VL::VL-EXTINTTOKEN-P-WHEN-TOKEN-OF-TYPE-EXTINTTOKEN))
 (7 1 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-TIMETOKEN-P))
 (7 1 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-SYSIDTOKEN-P))
 (7 1 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-STRINGTOKEN-P))
 (7 1 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-REALTOKEN-P))
 (7 1 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-INTTOKEN-P))
 (5 5 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:REWRITE VL::VL-IDTOKEN-P-WHEN-MEMBER-EQUAL-OF-VL-IDTOKEN-LIST-P))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (4 1 (:REWRITE VL::VL-TIMETOKEN-P-WHEN-TOKEN-OF-TYPE-TIMETOKEN))
 (4 1 (:REWRITE VL::VL-SYSIDTOKEN-P-WHEN-TOKEN-OF-TYPE-SYSIDTOKEN))
 (4 1 (:REWRITE VL::VL-STRINGTOKEN-P-WHEN-TOKEN-OF-TYPE-STRINGTOKEN))
 (4 1 (:REWRITE VL::VL-REALTOKEN-P-WHEN-TOKEN-OF-TYPE-REALTOKEN))
 (4 1 (:REWRITE VL::VL-INTTOKEN-P-WHEN-TOKEN-OF-TYPE-INTTOKEN))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TIMETOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-REALTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-INTTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (3 1 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-PLAINTOKEN-P))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PLAINTOKEN-P))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::VL-WARNINGLIST-FIX-UNDER-VL-WARNINGLIST-EQUIV))
 (2 2 (:REWRITE VL::VL-TOKEN-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLIST-P))
 (2 2 (:REWRITE VL::VL-PARSE-INTERFACE-DECLARATION-CORE-FAILS-GRACEFULLY))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-TIMETOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-TF-PARSED-VAR-ID-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-SYSIDTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-STRINGTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-REALTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-INTTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-IDTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-EXTINTTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-ERANGE-P))
 (2 1 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TF-PARSED-VAR-ID-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ERANGE-P))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (1 1 (:REWRITE CONSP-BY-LEN))
 )
(VL::VL-PARSE-INTERFACE-MAIN-COUNT-STRONG
 (851 4 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (731 2 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (649 7 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (570 30 (:REWRITE LEN-WHEN-ATOM))
 (367 7 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (168 4 (:REWRITE LEN-WHEN-PREFIXP))
 (85 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (85 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (68 68 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (68 68 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (68 34 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (57 3 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (57 3 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (56 2 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (56 2 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (34 34 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (34 34 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (34 34 (:REWRITE CONSP-BY-LEN))
 (15 15 (:TYPE-PRESCRIPTION PREFIXP))
 (14 14 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (12 12 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (12 12 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (12 12 (:LINEAR LEN-WHEN-PREFIXP))
 (8 4 (:REWRITE DEFAULT-<-2))
 (8 4 (:REWRITE DEFAULT-<-1))
 (7 7 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (7 7 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (7 7 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (7 7 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (7 7 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (6 6 (:TYPE-PRESCRIPTION SUBLISTP))
 (6 6 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (6 6 (:LINEAR INDEX-OF-<-LEN))
 (6 6 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (4 4 (:META CANCEL_PLUS-LESSP-CORRECT))
 (3 3 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::VL-WARNINGLIST-FIX-UNDER-VL-WARNINGLIST-EQUIV))
 (3 3 (:REWRITE VL::VL-PARSE-INTERFACE-DECLARATION-CORE-FAILS-GRACEFULLY))
 (2 2 (:REWRITE SUBLISTP-COMPLETE))
 )
(VL::VL-SKIP-THROUGH-ENDINTERFACE-FN
 (1149 8 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (984 147 (:REWRITE LEN-WHEN-ATOM))
 (908 4 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (764 12 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (505 17 (:REWRITE VL::NTH-WHEN-TOO-BIG))
 (496 12 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (488 12 (:REWRITE VL::NATP-WHEN-POSP))
 (350 4 (:REWRITE NATP-POSP))
 (298 298 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (292 292 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (282 28 (:LINEAR VL::LEN-OF-CDR-STRONG))
 (239 12 (:REWRITE NTH-WITH-LARGE-INDEX))
 (215 4 (:REWRITE VL::VL-TOKENLIST-P-WHEN-NOT-CONSP))
 (211 8 (:REWRITE LEN-WHEN-PREFIXP))
 (197 12 (:REWRITE NTH-WHEN-TOO-LARGE-CHEAP))
 (162 9 (:REWRITE VL::NATP-OF-CAR-WHEN-NAT-LISTP))
 (142 12 (:REWRITE NATP-RW))
 (116 8 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (116 8 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (115 115 (:REWRITE DEFAULT-CDR))
 (112 4 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (112 4 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (112 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (112 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (102 6 (:REWRITE VL::NAT-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-NAT-LISTP))
 (80 80 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (80 80 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (80 80 (:LINEAR LEN-WHEN-PREFIXP))
 (80 4 (:LINEAR LOWER-BOUND-OF-CAR-WHEN-NAT-LISTP))
 (68 4 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (64 4 (:REWRITE POSP-RW))
 (63 6 (:REWRITE INTEGERP-OF-CAR-WHEN-NAT-LISTP))
 (63 4 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (62 62 (:REWRITE CONSP-BY-LEN))
 (60 3 (:REWRITE VL::NAT-LISTP-OF-CDR-WHEN-NAT-LISTP))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (59 59 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (59 17 (:REWRITE NAT-LISTP-WHEN-NOT-CONSP))
 (59 12 (:REWRITE NTH-WHEN-ATOM))
 (59 12 (:REWRITE VL::NTH-OF-ATOM))
 (58 11 (:REWRITE DEFAULT-CAR))
 (57 29 (:REWRITE DEFAULT-<-2))
 (57 6 (:REWRITE INTEGERP-OF-CAR-WHEN-INTEGER-LISTP))
 (56 4 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (54 8 (:REWRITE VL::INTEGERP-WHEN-NATP))
 (54 3 (:REWRITE VL::POSP-OF-CAR-WHEN-POS-LISTP))
 (52 10 (:REWRITE NAT-LISTP-OF-CDR-WHEN-NAT-LISTP))
 (52 4 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (48 4 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (44 44 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (44 44 (:LINEAR INDEX-OF-<-LEN))
 (40 40 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (38 17 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (37 29 (:REWRITE DEFAULT-<-1))
 (34 34 (:REWRITE NAT-LISTP-WHEN-SUBSETP-EQUAL))
 (32 25 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (30 9 (:REWRITE NATP-OF-CAR-WHEN-NAT-LISTP))
 (29 29 (:META CANCEL_PLUS-LESSP-CORRECT))
 (29 4 (:REWRITE VL::VL-TOKENLIST-P-OF-CAR-WHEN-VL-TOKENLISTLIST-P))
 (28 4 (:REWRITE |(< 0 (len x))|))
 (24 24 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (24 24 (:REWRITE VL::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (24 24 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (24 6 (:REWRITE VL::POS-LISTP-WHEN-NOT-CONSP))
 (24 6 (:REWRITE VL::NAT-LISTP-WHEN-NOT-CONSP))
 (24 6 (:REWRITE MEMBER-WHEN-ATOM))
 (24 6 (:REWRITE INTEGER-LISTP-WHEN-NOT-CONSP))
 (24 4 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (24 4 (:REWRITE VL::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (24 2 (:REWRITE VL::VL-IDTOKEN-P-WHEN-WRONG-TAG))
 (23 23 (:TYPE-PRESCRIPTION PREFIXP))
 (21 4 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (21 4 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (20 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-EXTINTTOKEN-P))
 (18 3 (:REWRITE VL::POS-LISTP-OF-CDR-WHEN-POS-LISTP))
 (18 3 (:REWRITE INTEGER-LISTP-OF-CDR-WHEN-INTEGER-LISTP))
 (17 17 (:REWRITE NAT-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (17 17 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (17 17 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (17 4 (:REWRITE VL::VL-TOKEN-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLIST-P))
 (16 16 (:TYPE-PRESCRIPTION POSP))
 (16 16 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (16 8 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (16 7 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (16 4 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (16 1 (:REWRITE VL::VL-EXTINTTOKEN-P-WHEN-TOKEN-OF-TYPE-EXTINTTOKEN))
 (13 13 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (12 12 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (12 12 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (12 12 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (12 12 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (12 12 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (12 12 (:REWRITE VL::POS-LISTP-WHEN-SUBSETP-EQUAL))
 (12 12 (:REWRITE NTH-WHEN-ZP))
 (12 12 (:REWRITE VL::NAT-LISTP-WHEN-SUBSETP-EQUAL))
 (12 12 (:REWRITE INTEGER-LISTP-WHEN-SUBSETP-EQUAL))
 (12 6 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (12 4 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (11 11 (:TYPE-PRESCRIPTION SUBLISTP))
 (11 11 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (10 10 (:REWRITE FN-CHECK-DEF-FORMALS))
 (9 4 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-NOT-CONSP))
 (9 4 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (9 4 (:REWRITE VL::ALL-HAVE-LEN-WHEN-NOT-CONSP))
 (9 4 (:REWRITE ALISTP-WHEN-ATOM))
 (9 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-TIMETOKEN-P))
 (9 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-SYSIDTOKEN-P))
 (9 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-REALTOKEN-P))
 (9 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-INTTOKEN-P))
 (8 8 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (8 8 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (8 8 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (8 8 (:TYPE-PRESCRIPTION VL::ALL-HAVE-LEN))
 (8 8 (:TYPE-PRESCRIPTION ALISTP))
 (8 8 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL::VL-TOKENLIST-P-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL::VL-TOKENLIST-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLISTLIST-P))
 (8 8 (:REWRITE VL::VL-MATCH-ANY-FN-COUNT-STRONG-ON-VALUE))
 (8 8 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (8 8 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (8 8 (:REWRITE VL::SYMBOL-LISTP-OF-ALIST-VALS-OF-VL-FULL-KEYWORD-TABLE))
 (8 8 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (8 8 (:REWRITE VL::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (8 8 (:REWRITE NTH-WHEN-PREFIXP))
 (8 8 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (8 4 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (8 4 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (8 4 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (8 4 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (8 4 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (8 2 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (7 7 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (7 7 (:REWRITE SUBSETP-MEMBER . 2))
 (7 7 (:REWRITE SUBSETP-MEMBER . 1))
 (7 7 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (6 6 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (6 6 (:REWRITE SUBSETP-MEMBER . 4))
 (6 6 (:REWRITE SUBSETP-MEMBER . 3))
 (6 6 (:REWRITE INTERSECTP-MEMBER . 3))
 (6 6 (:REWRITE INTERSECTP-MEMBER . 2))
 (6 6 (:REWRITE SET::IN-SET))
 (5 1 (:REWRITE VL::VL-TIMETOKEN-P-WHEN-TOKEN-OF-TYPE-TIMETOKEN))
 (5 1 (:REWRITE VL::VL-SYSIDTOKEN-P-WHEN-TOKEN-OF-TYPE-SYSIDTOKEN))
 (5 1 (:REWRITE VL::VL-REALTOKEN-P-WHEN-TOKEN-OF-TYPE-REALTOKEN))
 (5 1 (:REWRITE VL::VL-INTTOKEN-P-WHEN-TOKEN-OF-TYPE-INTTOKEN))
 (4 4 (:REWRITE VL::VL-IDTOKEN-P-WHEN-MEMBER-EQUAL-OF-VL-IDTOKEN-LIST-P))
 (4 4 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 (4 4 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (4 4 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (4 4 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (4 4 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE SUBLISTP-COMPLETE))
 (4 4 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (4 4 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (4 4 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TIMETOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-REALTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-INTTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-TIMETOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-TF-PARSED-VAR-ID-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-SYSIDTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-STRINGTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-REALTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-INTTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-IDTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-EXTINTTOKEN-P))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-ERANGE-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TF-PARSED-VAR-ID-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ERANGE-P))
 )
(VL::VL-SKIP-THROUGH-ENDINTERFACE-FAILS-GRACEFULLY
 (1044 7 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (744 5 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (560 280 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (472 40 (:REWRITE LEN-WHEN-ATOM))
 (403 15 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (390 15 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (145 10 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (145 10 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (140 5 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (140 5 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (140 5 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (140 5 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (98 7 (:REWRITE LEN-WHEN-PREFIXP))
 (92 92 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (92 92 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (92 46 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (46 46 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (46 46 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (46 46 (:REWRITE CONSP-BY-LEN))
 (30 30 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (27 27 (:TYPE-PRESCRIPTION PREFIXP))
 (15 15 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (15 15 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (15 15 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (15 15 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (15 15 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (14 7 (:REWRITE DEFAULT-<-1))
 (12 12 (:TYPE-PRESCRIPTION SUBLISTP))
 (12 12 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (12 12 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (12 12 (:LINEAR LEN-WHEN-PREFIXP))
 (11 7 (:REWRITE DEFAULT-<-2))
 (10 10 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (8 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (7 7 (:REWRITE VL::VL-MATCH-ANY-FN-COUNT-STRONG-ON-VALUE))
 (7 7 (:META CANCEL_PLUS-LESSP-CORRECT))
 (6 6 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (6 6 (:LINEAR INDEX-OF-<-LEN))
 (6 6 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (5 5 (:REWRITE SUBLISTP-COMPLETE))
 (4 4 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (4 4 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-WARNING-P-OF-VL-SKIP-THROUGH-ENDINTERFACE
 (846 8 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (604 4 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (428 214 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (416 38 (:REWRITE LEN-WHEN-ATOM))
 (332 12 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (320 12 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (116 8 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (116 8 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (112 4 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (112 4 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (112 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (112 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (82 8 (:REWRITE LEN-WHEN-PREFIXP))
 (76 76 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (76 76 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (76 38 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (38 38 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (38 38 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (38 38 (:REWRITE CONSP-BY-LEN))
 (24 24 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (22 22 (:TYPE-PRESCRIPTION PREFIXP))
 (16 8 (:REWRITE DEFAULT-<-1))
 (12 12 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (12 12 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (12 12 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (12 12 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (12 12 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (12 12 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (12 12 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (12 12 (:LINEAR LEN-WHEN-PREFIXP))
 (12 8 (:REWRITE DEFAULT-<-2))
 (10 10 (:TYPE-PRESCRIPTION SUBLISTP))
 (10 10 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (8 8 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (8 8 (:REWRITE VL::VL-MATCH-ANY-FN-COUNT-STRONG-ON-VALUE))
 (8 8 (:META CANCEL_PLUS-LESSP-CORRECT))
 (6 6 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (6 6 (:LINEAR INDEX-OF-<-LEN))
 (6 6 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (6 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (4 4 (:REWRITE SUBLISTP-COMPLETE))
 (3 3 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (3 3 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-SKIP-THROUGH-ENDINTERFACE-RESULT
 (846 8 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (604 4 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (416 38 (:REWRITE LEN-WHEN-ATOM))
 (332 12 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (320 12 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (116 8 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (116 8 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (112 4 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (112 4 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (112 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (112 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (84 84 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (84 42 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (82 8 (:REWRITE LEN-WHEN-PREFIXP))
 (76 76 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (42 42 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (42 42 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (42 42 (:REWRITE CONSP-BY-LEN))
 (30 8 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (24 24 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (22 22 (:TYPE-PRESCRIPTION PREFIXP))
 (16 8 (:REWRITE DEFAULT-<-1))
 (12 12 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (12 12 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (12 12 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (12 12 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (12 12 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (12 12 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (12 12 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (12 12 (:LINEAR LEN-WHEN-PREFIXP))
 (12 8 (:REWRITE DEFAULT-<-2))
 (10 10 (:TYPE-PRESCRIPTION SUBLISTP))
 (8 8 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (8 8 (:REWRITE VL::VL-MATCH-ANY-FN-COUNT-STRONG-ON-VALUE))
 (8 8 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (8 8 (:META CANCEL_PLUS-LESSP-CORRECT))
 (8 8 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (6 6 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (6 6 (:LINEAR INDEX-OF-<-LEN))
 (6 6 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:REWRITE SUBLISTP-COMPLETE))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:REWRITE SET::IN-SET))
 )
(VL::VL-SKIP-THROUGH-ENDINTERFACE-COUNT-STRONG
 (4337 36 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (3283 18 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (2459 164 (:REWRITE LEN-WHEN-ATOM))
 (2016 59 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (1676 59 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (681 33 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (674 36 (:REWRITE LEN-WHEN-PREFIXP))
 (600 33 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (504 18 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (477 18 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (468 18 (:REWRITE VL::VL-MATCH-UNDER-IFF))
 (416 416 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (416 208 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (404 26 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (380 380 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (323 26 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (208 208 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (208 208 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (208 208 (:REWRITE CONSP-BY-LEN))
 (127 127 (:TYPE-PRESCRIPTION PREFIXP))
 (118 118 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (72 72 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (72 72 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (72 72 (:LINEAR LEN-WHEN-PREFIXP))
 (63 36 (:REWRITE DEFAULT-<-2))
 (63 36 (:REWRITE DEFAULT-<-1))
 (59 59 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (59 59 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (59 59 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (59 59 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (59 59 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (53 53 (:TYPE-PRESCRIPTION SUBLISTP))
 (43 43 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (43 43 (:LINEAR INDEX-OF-<-LEN))
 (39 39 (:META CANCEL_PLUS-LESSP-CORRECT))
 (36 36 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (26 26 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (18 18 (:REWRITE SUBLISTP-COMPLETE))
 (6 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (3 3 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (3 3 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-MAKE-INTERFACE-WITH-PARSE-ERROR
 (94 2 (:REWRITE TAKE-OF-LEN-FREE))
 (92 2 (:REWRITE TAKE-OF-TOO-MANY))
 (84 1 (:REWRITE VL::STRINGP-WHEN-TRUE-LISTP))
 (65 11 (:REWRITE LEN-WHEN-ATOM))
 (56 2 (:REWRITE TAKE-WHEN-ATOM))
 (28 1 (:REWRITE VL::VL-TOKENLIST-P-WHEN-NOT-CONSP))
 (28 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (19 8 (:REWRITE DEFAULT-<-2))
 (17 8 (:REWRITE DEFAULT-<-1))
 (17 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (12 6 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (10 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (9 9 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (8 8 (:META CANCEL_PLUS-LESSP-CORRECT))
 (8 8 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (8 8 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (8 8 (:LINEAR LEN-WHEN-PREFIXP))
 (6 6 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (6 6 (:REWRITE VL::VL-TOKENLIST-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLISTLIST-P))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (6 6 (:REWRITE CONSP-BY-LEN))
 (6 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (4 4 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (4 4 (:LINEAR INDEX-OF-<-LEN))
 (4 4 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (4 1 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (3 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION NFIX))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:REWRITE VL::VL-WARNINGLIST-P-WHEN-NOT-CONSP))
 (2 2 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-OF-ALIST-VALS-OF-VL-FULL-KEYWORD-TABLE))
 (2 2 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 1 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (1 1 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(VL::VL-INTERFACE-P-OF-VL-MAKE-INTERFACE-WITH-PARSE-ERROR)
(VL::VL-PARSE-INTERFACE-DECLARATION-FN
 (384 357 (:TYPE-PRESCRIPTION VL::RETURN-TYPE-OF-VL-ENDINFO->NAME))
 (369 13 (:REWRITE VL::NTH-WHEN-TOO-BIG))
 (336 9 (:REWRITE VL::NATP-WHEN-POSP))
 (238 3 (:REWRITE NATP-POSP))
 (215 74 (:REWRITE LEN-WHEN-ATOM))
 (202 20 (:LINEAR VL::LEN-OF-CDR-STRONG))
 (172 9 (:REWRITE NTH-WITH-LARGE-INDEX))
 (165 3 (:REWRITE VL::VL-TOKENLIST-P-WHEN-NOT-CONSP))
 (148 148 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (148 148 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (142 9 (:REWRITE NTH-WHEN-TOO-LARGE-CHEAP))
 (116 58 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (108 6 (:REWRITE VL::NATP-OF-CAR-WHEN-NAT-LISTP))
 (97 9 (:REWRITE NATP-RW))
 (90 4 (:REWRITE VL::VL-ATTS-P-WHEN-NOT-CONSP))
 (81 81 (:REWRITE DEFAULT-CDR))
 (68 4 (:REWRITE VL::NAT-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-NAT-LISTP))
 (66 29 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (58 58 (:TYPE-PRESCRIPTION ATOM))
 (56 4 (:REWRITE VL::VL-IDTOKEN-P-WHEN-WRONG-TAG))
 (51 3 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (51 3 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (47 3 (:REWRITE POSP-RW))
 (44 44 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (44 44 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (44 44 (:LINEAR LEN-WHEN-PREFIXP))
 (44 9 (:REWRITE NTH-WHEN-ATOM))
 (44 9 (:REWRITE VL::NTH-OF-ATOM))
 (44 3 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (43 8 (:REWRITE DEFAULT-CAR))
 (42 4 (:REWRITE INTEGERP-OF-CAR-WHEN-NAT-LISTP))
 (42 3 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (40 6 (:REWRITE VL::INTEGERP-WHEN-NATP))
 (40 2 (:REWRITE VL::NAT-LISTP-OF-CDR-WHEN-NAT-LISTP))
 (40 2 (:LINEAR LOWER-BOUND-OF-CAR-WHEN-NAT-LISTP))
 (38 4 (:REWRITE INTEGERP-OF-CAR-WHEN-INTEGER-LISTP))
 (38 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-EXTINTTOKEN-P))
 (36 3 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (36 2 (:REWRITE VL::POSP-OF-CAR-WHEN-POS-LISTP))
 (34 10 (:REWRITE NAT-LISTP-WHEN-NOT-CONSP))
 (32 2 (:REWRITE VL::VL-EXTINTTOKEN-P-WHEN-TOKEN-OF-TYPE-EXTINTTOKEN))
 (30 21 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (30 15 (:REWRITE DEFAULT-<-2))
 (30 6 (:REWRITE NAT-LISTP-OF-CDR-WHEN-NAT-LISTP))
 (30 4 (:REWRITE VL::VL-TOKEN-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLIST-P))
 (29 29 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (29 29 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (23 3 (:REWRITE VL::VL-TOKENLIST-P-OF-CAR-WHEN-VL-TOKENLISTLIST-P))
 (22 22 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (22 22 (:LINEAR INDEX-OF-<-LEN))
 (22 22 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (21 3 (:REWRITE |(< 0 (len x))|))
 (20 20 (:REWRITE NAT-LISTP-WHEN-SUBSETP-EQUAL))
 (20 6 (:REWRITE NATP-OF-CAR-WHEN-NAT-LISTP))
 (20 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-IDTOKEN-P))
 (18 18 (:REWRITE VL::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (18 18 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (18 3 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (18 3 (:REWRITE VL::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (17 17 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (17 3 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (17 3 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (16 8 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (16 6 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (16 4 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (16 4 (:REWRITE VL::POS-LISTP-WHEN-NOT-CONSP))
 (16 4 (:REWRITE VL::NAT-LISTP-WHEN-NOT-CONSP))
 (16 4 (:REWRITE MEMBER-WHEN-ATOM))
 (16 4 (:REWRITE INTEGER-LISTP-WHEN-NOT-CONSP))
 (16 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-TIMETOKEN-P))
 (16 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-SYSIDTOKEN-P))
 (16 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-STRINGTOKEN-P))
 (16 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-REALTOKEN-P))
 (16 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-INTTOKEN-P))
 (15 15 (:REWRITE DEFAULT-<-1))
 (15 15 (:META CANCEL_PLUS-LESSP-CORRECT))
 (12 12 (:TYPE-PRESCRIPTION POSP))
 (12 12 (:REWRITE VL::VL-IDTOKEN-P-WHEN-MEMBER-EQUAL-OF-VL-IDTOKEN-LIST-P))
 (12 12 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (12 6 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (12 3 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (12 2 (:REWRITE VL::POS-LISTP-OF-CDR-WHEN-POS-LISTP))
 (12 2 (:REWRITE INTEGER-LISTP-OF-CDR-WHEN-INTEGER-LISTP))
 (10 10 (:REWRITE NAT-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (10 2 (:REWRITE VL::VL-TIMETOKEN-P-WHEN-TOKEN-OF-TYPE-TIMETOKEN))
 (10 2 (:REWRITE VL::VL-SYSIDTOKEN-P-WHEN-TOKEN-OF-TYPE-SYSIDTOKEN))
 (10 2 (:REWRITE VL::VL-STRINGTOKEN-P-WHEN-TOKEN-OF-TYPE-STRINGTOKEN))
 (10 2 (:REWRITE VL::VL-REALTOKEN-P-WHEN-TOKEN-OF-TYPE-REALTOKEN))
 (10 2 (:REWRITE VL::VL-INTTOKEN-P-WHEN-TOKEN-OF-TYPE-INTTOKEN))
 (9 9 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (9 9 (:REWRITE NTH-WHEN-ZP))
 (9 9 (:REWRITE CONSP-BY-LEN))
 (9 3 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (8 8 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (8 8 (:REWRITE VL::POS-LISTP-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE VL::NAT-LISTP-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE INTEGER-LISTP-WHEN-SUBSETP-EQUAL))
 (8 8 (:REWRITE SET::IN-SET))
 (8 8 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (8 3 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-NOT-CONSP))
 (8 3 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (8 3 (:REWRITE VL::ALL-HAVE-LEN-WHEN-NOT-CONSP))
 (8 3 (:REWRITE ALISTP-WHEN-ATOM))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TIMETOKEN-P))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-REALTOKEN-P))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-INTTOKEN-P))
 (7 7 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (7 7 (:REWRITE FN-CHECK-DEF-FORMALS))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (7 7 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (6 6 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (6 6 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (6 6 (:TYPE-PRESCRIPTION VL::ALL-HAVE-LEN))
 (6 6 (:TYPE-PRESCRIPTION ALISTP))
 (6 6 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL::VL-TOKENLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL::VL-TOKENLIST-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLISTLIST-P))
 (6 6 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (6 6 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (6 6 (:REWRITE VL::SYMBOL-LISTP-OF-ALIST-VALS-OF-VL-FULL-KEYWORD-TABLE))
 (6 6 (:REWRITE SUBSETP-MEMBER . 2))
 (6 6 (:REWRITE SUBSETP-MEMBER . 1))
 (6 6 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (6 6 (:REWRITE VL::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (6 6 (:REWRITE NTH-WHEN-PREFIXP))
 (6 6 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (6 6 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-TIMETOKEN-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-TF-PARSED-VAR-ID-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-SYSIDTOKEN-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-REALTOKEN-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-INTTOKEN-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-EXTINTTOKEN-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-ERANGE-P))
 (6 3 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (6 3 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (6 3 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (6 3 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (6 3 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (6 3 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (6 2 (:REWRITE VL::VL-TOKEN-P-WHEN-VL-PLAINTOKEN-P))
 (5 5 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (4 4 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-PLAINTOKEN-P))
 (4 4 (:REWRITE SUBSETP-MEMBER . 4))
 (4 4 (:REWRITE SUBSETP-MEMBER . 3))
 (4 4 (:REWRITE INTERSECTP-MEMBER . 3))
 (4 4 (:REWRITE INTERSECTP-MEMBER . 2))
 (4 3 (:REWRITE VL::TAG-WHEN-VL-IDTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TF-PARSED-VAR-ID-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ERANGE-P))
 (3 3 (:REWRITE VL::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 (3 3 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (3 3 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (3 3 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (3 3 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (3 3 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (3 3 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (3 3 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (3 3 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (2 1 (:REWRITE VL::TAG-WHEN-VL-STRINGTOKEN-P))
 (1 1 (:REWRITE VL::VL-SKIP-THROUGH-ENDINTERFACE-FAILS-GRACEFULLY))
 )
(VL::VL-PARSE-INTERFACE-DECLARATION-FAILS-GRACEFULLY
 (274 137 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (103 19 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (102 51 (:TYPE-PRESCRIPTION VL::RETURN-TYPE-OF-VL-IDTOKEN->NAME))
 (82 41 (:TYPE-PRESCRIPTION VL::RETURN-TYPE-OF-VL-ENDINFO->NAME))
 (51 51 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-IDTOKEN-P))
 (41 41 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ENDINFO-P))
 (36 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (3 3 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (3 3 (:REWRITE SET::IN-SET))
 (3 3 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (3 3 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-WARNING-P-OF-VL-PARSE-INTERFACE-DECLARATION
 (42 6 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (36 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (30 15 (:TYPE-PRESCRIPTION VL::RETURN-TYPE-OF-VL-IDTOKEN->NAME))
 (24 12 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (15 15 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-IDTOKEN-P))
 (12 12 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?$INLINE))
 (12 12 (:TYPE-PRESCRIPTION ATOM))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 3 (:TYPE-PRESCRIPTION VL::RETURN-TYPE-OF-VL-ENDINFO->NAME))
 (6 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (3 3 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ENDINFO-P))
 (3 3 (:REWRITE VL::VL-SKIP-THROUGH-ENDINTERFACE-FAILS-GRACEFULLY))
 (3 3 (:REWRITE VL::VL-PARSE-INTERFACE-MAIN-FAILS-GRACEFULLY))
 (3 3 (:REWRITE SET::IN-SET))
 (3 3 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (3 3 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 2 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 )
(VL::VL-PARSE-INTERFACE-DECLARATION-RESULT
 (168 6 (:REWRITE VL::VL-ATTS-P-WHEN-NOT-CONSP))
 (142 71 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (71 71 (:TYPE-PRESCRIPTION ATOM))
 (24 7 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (23 1 (:REWRITE VL::VL-INTERFACE-P-BY-TAG-WHEN-VL-SCOPEDEF-P))
 (23 1 (:REWRITE VL::VL-INTERFACE-P-BY-TAG-WHEN-VL-SCOPE-P))
 (23 1 (:REWRITE VL::VL-INTERFACE-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (12 12 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (12 6 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (7 7 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (7 7 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (6 6 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (6 6 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (6 6 (:REWRITE CONSP-BY-LEN))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-TIMETOKEN-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-TF-PARSED-VAR-ID-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-SYSIDTOKEN-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-STRINGTOKEN-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-REALTOKEN-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-INTTOKEN-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-IDTOKEN-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-EXTINTTOKEN-P))
 (6 3 (:REWRITE VL::TAG-WHEN-VL-ERANGE-P))
 (5 5 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:REWRITE VL::VL-SKIP-THROUGH-ENDINTERFACE-FAILS-GRACEFULLY))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TIMETOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-TF-PARSED-VAR-ID-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-REALTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-INTTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (3 3 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ERANGE-P))
 (2 2 (:REWRITE VL::VL-INTERFACE-P-WHEN-MEMBER-EQUAL-OF-VL-INTERFACELIST-P))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE SET::IN-SET))
 )
(VL::VL-PARSE-INTERFACE-DECLARATION-COUNT-STRONG
 (2538 108 (:REWRITE LEN-WHEN-ATOM))
 (1598 11 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (1358 4 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (1163 15 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (693 15 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (386 11 (:REWRITE LEN-WHEN-PREFIXP))
 (228 228 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (228 228 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (228 114 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (202 13 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (202 13 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (114 114 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (114 114 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (114 114 (:REWRITE CONSP-BY-LEN))
 (112 4 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (112 4 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (92 46 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (88 22 (:REWRITE VL::VL-MATCH-TOKEN-UNDER-IFF))
 (82 41 (:TYPE-PRESCRIPTION VL::RETURN-TYPE-OF-VL-ENDINFO->NAME))
 (70 10 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (68 68 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (68 68 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (68 68 (:LINEAR LEN-WHEN-PREFIXP))
 (68 34 (:TYPE-PRESCRIPTION VL::RETURN-TYPE-OF-VL-IDTOKEN->NAME))
 (46 46 (:TYPE-PRESCRIPTION ATOM))
 (44 44 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (44 44 (:LINEAR INDEX-OF-<-LEN))
 (41 41 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-ENDINFO-P))
 (39 39 (:TYPE-PRESCRIPTION PREFIXP))
 (34 34 (:TYPE-PRESCRIPTION VL::BOOLEANP-OF-VL-IDTOKEN-P))
 (34 34 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (30 30 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (29 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (29 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (24 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (22 11 (:REWRITE DEFAULT-<-2))
 (22 11 (:REWRITE DEFAULT-<-1))
 (15 15 (:TYPE-PRESCRIPTION SUBLISTP))
 (15 15 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (15 15 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (15 15 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (15 15 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (15 15 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (11 11 (:META CANCEL_PLUS-LESSP-CORRECT))
 (5 5 (:REWRITE VL::VL-PARSE-INTERFACE-MAIN-FAILS-GRACEFULLY))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:REWRITE VL::VL-SKIP-THROUGH-ENDINTERFACE-FAILS-GRACEFULLY))
 (4 4 (:REWRITE SUBLISTP-COMPLETE))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 2 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
