(PARSED-EXECUTABLEP)
(PARSED-EXECUTABLE-TYPE)
(PARSED-ELFP-WHEN-PARSED-EXECUTABLEP
 (181 135 (:REWRITE DEFAULT-CAR))
 (112 112 (:TYPE-PRESCRIPTION SYMBOL-TERM-ALISTP))
 (96 48 (:REWRITE CONSP-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (84 42 (:REWRITE SYMBOL-ALISTP-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (76 76 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (76 76 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 (48 48 (:REWRITE DEFAULT-CDR))
 (44 22 (:REWRITE IFF-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (18 1 (:DEFINITION PE-SYMBOL-TABLEP))
 (14 1 (:DEFINITION PE-SYMBOL-TABLE-ENTRYP))
 (6 6 (:DEFINITION ENDP))
 (6 1 (:DEFINITION STRIP-CARS))
 (4 2 (:REWRITE GET-MACH-O-LOAD-COMMAND-UNROLL))
 (4 2 (:REWRITE GET-MACH-O-LOAD-COMMAND-BASE-2))
 (4 2 (:REWRITE GET-MACH-O-LOAD-COMMAND-BASE-1))
 (3 3 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE DEFAULT-<-1))
 )
(PARSED-MACH-O-P-WHEN-PARSED-EXECUTABLEP
 (185 141 (:REWRITE DEFAULT-CAR))
 (120 120 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (120 120 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 (119 119 (:TYPE-PRESCRIPTION SYMBOL-TERM-ALISTP))
 (116 58 (:REWRITE SYMBOL-ALISTP-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (106 53 (:REWRITE CONSP-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (80 8 (:DEFINITION ASSOC-EQUAL))
 (53 53 (:REWRITE DEFAULT-CDR))
 (30 30 (:DEFINITION ENDP))
 (20 10 (:REWRITE GET-MACH-O-LOAD-COMMAND-UNROLL))
 (20 10 (:REWRITE GET-MACH-O-LOAD-COMMAND-BASE-2))
 (20 10 (:REWRITE GET-MACH-O-LOAD-COMMAND-BASE-1))
 (18 1 (:DEFINITION PE-SYMBOL-TABLEP))
 (16 16 (:REWRITE ASSOC-EQUAL-WHEN-LOOKUP-EQUAL-CHEAP))
 (16 8 (:REWRITE IFF-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (14 1 (:DEFINITION PE-SYMBOL-TABLE-ENTRYP))
 (5 1 (:DEFINITION ALISTP))
 (4 1 (:REWRITE PARSED-ELFP-WHEN-PARSED-EXECUTABLEP))
 (3 3 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE DEFAULT-<-1))
 )
(PARSED-PE-P-WHEN-PARSED-EXECUTABLEP
 (139 121 (:REWRITE DEFAULT-CAR))
 (120 60 (:REWRITE SYMBOL-ALISTP-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (112 112 (:TYPE-PRESCRIPTION SYMBOL-TERM-ALISTP))
 (88 44 (:REWRITE CONSP-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (84 84 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (84 84 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 (80 8 (:DEFINITION ASSOC-EQUAL))
 (44 44 (:REWRITE DEFAULT-CDR))
 (16 16 (:REWRITE ASSOC-EQUAL-WHEN-LOOKUP-EQUAL-CHEAP))
 (16 8 (:REWRITE IFF-OF-CAR-WHEN-SYMBOL-TERM-ALISTP-CHEAP))
 (6 6 (:DEFINITION ENDP))
 (6 1 (:DEFINITION STRIP-CARS))
 (5 1 (:DEFINITION ALISTP))
 (4 2 (:REWRITE GET-MACH-O-LOAD-COMMAND-UNROLL))
 (4 2 (:REWRITE GET-MACH-O-LOAD-COMMAND-BASE-2))
 (4 2 (:REWRITE GET-MACH-O-LOAD-COMMAND-BASE-1))
 (4 1 (:REWRITE PARSED-MACH-O-P-WHEN-PARSED-EXECUTABLEP))
 (4 1 (:REWRITE PARSED-ELFP-WHEN-PARSED-EXECUTABLEP))
 (3 3 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE DEFAULT-<-1))
 )
(ENSURE-TARGET-EXISTS-IN-EXECUTABLE)
(ENSURE-X86
 (4 4 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-CONSP-CHEAP))
 (4 4 (:REWRITE LOOKUP-EQUAL-WHEN-NOT-ASSOC-EQUAL-CHEAP))
 )
(ENSURE-RISC-V)
(ENSURE-ARM)
