(BCV::COLLECT-FRAMES)
(BCV::NOT-MEMBER-AFTERGOTO-COLLECT-SIG-FRAME-VECTOR
 (401 367 (:REWRITE DEFAULT-CAR))
 (295 259 (:REWRITE DEFAULT-CDR))
 (96 6 (:REWRITE JVM::TRUE-LISTP-LEN-1-IS-LIST-CAR))
 (28 28 (:TYPE-PRESCRIPTION LEN))
 (28 4 (:DEFINITION LEN))
 (16 16 (:LINEAR SUBSET-NODUP-SET-SIZE))
 (10 10 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (10 2 (:DEFINITION TRUE-LISTP))
 (8 4 (:REWRITE DEFAULT-+-2))
 (4 4 (:REWRITE DEL-SET-LEN))
 (4 4 (:REWRITE DEFAULT-+-1))
 )
(BCV::NOT-MEMBER-AFTERGOTO-THEN-NOT-FOUND
 (68 63 (:REWRITE DEFAULT-CAR))
 (47 44 (:REWRITE DEFAULT-CDR))
 (29 3 (:REWRITE JVM::TRUE-LISTP-LEN-1-IS-LIST-CAR))
 (24 8 (:DEFINITION BCV::GETMAP))
 (21 4 (:DEFINITION TRUE-LISTP))
 (17 17 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(BCV::COLLECT-SIG-FRAME-VECTOR-NEVER-AFTERGOTO
 (73 1 (:DEFINITION BCV::COLLECT-SIG-FRAME-VECTOR))
 (36 1 (:DEFINITION BCV::MERGEDCODEISTYPESAFE))
 (33 31 (:REWRITE DEFAULT-CAR))
 (25 23 (:REWRITE DEFAULT-CDR))
 (23 1 (:DEFINITION BCV::STACK-MAP-WRAP))
 (21 7 (:DEFINITION BCV::MAPFRAME))
 (18 1 (:DEFINITION BCV::MAKESTACKMAP))
 (17 1 (:REWRITE JVM::TRUE-LISTP-LEN-1-IS-LIST-CAR))
 (16 4 (:DEFINITION MV-NTH))
 (13 1 (:DEFINITION BCV::SEARCHSTACKFRAME))
 (11 11 (:TYPE-PRESCRIPTION BCV::SIG-DO-INST))
 (8 1 (:DEFINITION BCV::COLLECT-FRAMES))
 (7 7 (:TYPE-PRESCRIPTION LEN))
 (5 1 (:DEFINITION LEN))
 (4 4 (:TYPE-PRESCRIPTION BCV::ISSTACKMAP))
 (4 4 (:TYPE-PRESCRIPTION BCV::COLLECT-SIG-FRAME-VECTOR))
 (4 4 (:LINEAR SUBSET-NODUP-SET-SIZE))
 (2 2 (:TYPE-PRESCRIPTION BCV::STACK-MAP-WRAP))
 (2 2 (:TYPE-PRESCRIPTION BCV::ISINSTRUCTION))
 (2 2 (:TYPE-PRESCRIPTION BCV::INSTRUCTIONSATISFIESHANDLERS))
 (2 2 (:TYPE-PRESCRIPTION BCV::FRAMEISASSIGNABLE))
 (2 1 (:REWRITE DEFAULT-+-2))
 (2 1 (:DEFINITION BCV::ISSTACKMAPFRAME))
 (1 1 (:TYPE-PRESCRIPTION BCV::MERGEDCODEISTYPESAFE))
 (1 1 (:TYPE-PRESCRIPTION BCV::ISEND))
 (1 1 (:REWRITE DEL-SET-LEN))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
