(JVM::TURN-SLASHES-INTO-DOTS-CHARS
 (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP-SUBSTITUTE-TYPE-PRESCRIPTION))
 (5 5 (:TYPE-PRESCRIPTION STRINGP-SUBSTITUTE-TYPE-PRESCRIPTION))
 )
(JVM::CHARACTER-LISTP-OF-TURN-SLASHES-INTO-DOTS-CHARS
 (11 1 (:DEFINITION CHARACTER-LISTP))
 (5 1 (:DEFINITION SUBSTITUTE-AC))
 (4 1 (:REWRITE CHARACTERP-OF-CAR-WHEN-CHARACTER-LISTP-STRONG))
 (4 1 (:REWRITE CHARACTER-LISTP-OF-CDR))
 (3 3 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-CAR))
 )
(JVM::READ-CHARS-THROUGH-TERMINATOR
 (10 5 (:REWRITE DEFAULT-+-2))
 (6 6 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE DEFAULT-+-1))
 (2 1 (:REWRITE DEFAULT-<-2))
 (2 1 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(JVM::CHARACTER-LISTP-OF-MV-NTH-1-OF-READ-CHARS-THROUGH-TERMINATOR
 (26 26 (:REWRITE DEFAULT-CAR))
 (12 12 (:REWRITE DEFAULT-CDR))
 )
(JVM::CHARACTER-LISTP-OF-MV-NTH-2-OF-READ-CHARS-THROUGH-TERMINATOR
 (28 28 (:REWRITE DEFAULT-CAR))
 (12 12 (:REWRITE DEFAULT-CDR))
 )
(JVM::<-OF-LEN-OF-MV-NTH-2-OF-READ-CHARS-THROUGH-TERMINATOR
 (21 21 (:REWRITE DEFAULT-CDR))
 (20 11 (:REWRITE DEFAULT-+-2))
 (15 15 (:REWRITE DEFAULT-CAR))
 (11 11 (:REWRITE DEFAULT-+-1))
 (11 6 (:REWRITE DEFAULT-<-1))
 (10 6 (:REWRITE DEFAULT-<-2))
 )
(JVM::SKIP-CHARS-THROUGH-TERMINATOR
 (10 5 (:REWRITE DEFAULT-+-2))
 (6 6 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE DEFAULT-+-1))
 (2 1 (:REWRITE DEFAULT-<-2))
 (2 1 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(JVM::CHARACTER-LISTP-OF-MV-NTH-1-OF-SKIP-CHARS-THROUGH-TERMINATOR
 (25 25 (:REWRITE DEFAULT-CAR))
 (12 12 (:REWRITE DEFAULT-CDR))
 )
(JVM::SKIP-CHARS-THROUGH-TERMINATOR-CORRECT-1
 (17 17 (:REWRITE DEFAULT-CAR))
 (10 10 (:REWRITE DEFAULT-CDR))
 )
(JVM::SKIP-CHARS-THROUGH-TERMINATOR-CORRECT-2
 (21 21 (:REWRITE DEFAULT-CAR))
 (14 14 (:REWRITE DEFAULT-CDR))
 )
(JVM::<-OF-LEN-OF-MV-NTH-1-OF-SKIP-CHARS-THROUGH-TERMINATOR
 (21 21 (:REWRITE DEFAULT-CDR))
 (20 11 (:REWRITE DEFAULT-+-2))
 (11 11 (:REWRITE DEFAULT-+-1))
 (11 6 (:REWRITE DEFAULT-<-1))
 (10 6 (:REWRITE DEFAULT-<-2))
 (9 9 (:REWRITE DEFAULT-CAR))
 )
(JVM::PARSE-DESCRIPTOR-FROM-FRONT)
(JVM::TYPEP-OF-MV-NTH-0-OF-PARSE-DESCRIPTOR-FROM-FRONT
 (606 606 (:REWRITE DEFAULT-CDR))
 (298 76 (:REWRITE DEFAULT-COERCE-3))
 (268 268 (:REWRITE DEFAULT-CAR))
 (76 76 (:REWRITE DEFAULT-COERCE-2))
 (56 8 (:REWRITE JVM::TYPEP-OF-CAR))
 (44 4 (:DEFINITION JVM::ALL-TYPEP))
 (24 24 (:TYPE-PRESCRIPTION JVM::ALL-TYPEP))
 (16 8 (:REWRITE JVM::ARRAY-TYPEP-WHEN-NOT-OTHER-TYPES))
 (8 8 (:TYPE-PRESCRIPTION JVM::PRIMITIVE-TYPEP))
 (8 4 (:DEFINITION TRUE-LISTP))
 )
(JVM::CHARACTER-LISTP-OF-MV-NTH-1-OF-PARSE-DESCRIPTOR-FROM-FRONT
 (79 79 (:REWRITE DEFAULT-CAR))
 (39 39 (:REWRITE DEFAULT-CDR))
 (12 3 (:REWRITE DEFAULT-COERCE-3))
 (9 9 (:TYPE-PRESCRIPTION JVM::TURN-SLASHES-INTO-DOTS-CHARS))
 (3 3 (:REWRITE DEFAULT-COERCE-2))
 )
(JVM::<-OF-LEN-OF-MV-NTH-1-OF-PARSE-DESCRIPTOR-FROM-FRONT
 (104 104 (:REWRITE DEFAULT-CDR))
 (84 47 (:REWRITE DEFAULT-+-2))
 (47 47 (:REWRITE DEFAULT-+-1))
 (36 22 (:REWRITE DEFAULT-<-1))
 (34 22 (:REWRITE DEFAULT-<-2))
 (32 8 (:REWRITE DEFAULT-COERCE-3))
 (25 25 (:REWRITE DEFAULT-CAR))
 (8 8 (:REWRITE DEFAULT-COERCE-2))
 )
(JVM::SKIP-DESCRIPTOR-AT-FRONT)
(JVM::CHARACTER-LISTP-OF-MV-NTH-1-OF-SKIP-DESCRIPTOR-AT-FRONT
 (137 137 (:REWRITE DEFAULT-CAR))
 (25 25 (:REWRITE DEFAULT-CDR))
 )
(JVM::SKIP-DESCRIPTOR-AT-FRONT-CORRECT-1
 (147 147 (:REWRITE DEFAULT-CAR))
 (97 97 (:REWRITE DEFAULT-CDR))
 (28 7 (:REWRITE DEFAULT-COERCE-3))
 (7 7 (:REWRITE DEFAULT-COERCE-2))
 )
(JVM::SKIP-DESCRIPTOR-AT-FRONT-CORRECT-2
 (92 92 (:REWRITE DEFAULT-CAR))
 (48 48 (:REWRITE DEFAULT-CDR))
 (12 3 (:REWRITE DEFAULT-COERCE-3))
 (9 9 (:TYPE-PRESCRIPTION JVM::TURN-SLASHES-INTO-DOTS-CHARS))
 (3 3 (:REWRITE DEFAULT-COERCE-2))
 )
(JVM::PARSE-DESCRIPTOR-CHARS)
(JVM::TYPEP-OF-MV-NTH-1-OF-PARSE-DESCRIPTOR-CHARS)
(JVM::PARSE-DESCRIPTOR)
(JVM::TYPEP-OF-MV-NTH-1-OF-PARSE-DESCRIPTOR
 (2 2 (:REWRITE DEFAULT-COERCE-2))
 (2 2 (:REWRITE DEFAULT-COERCE-1))
 )
(JVM::DESCRIPTOR-CHARSP)
(JVM::IS-DESCRIPTORP)
(JVM::DESCRIPTORP)
