(A::SYMBOLIC-EXECUTION-RULES32-COMMON)
(A::SYMBOLIC-EXECUTION-RULES32)
(A::SYMBOLIC-EXECUTION-RULES-WITH-STOP-PCS32)
(A::DEBUG-RULES32)
(A::EXECUTE-FUNCTION-NAMES
 (13 13 (:REWRITE DEFAULT-CAR))
 (10 10 (:REWRITE DEFAULT-SYMBOL-NAME))
 (10 10 (:REWRITE DEFAULT-COERCE-2))
 (9 9 (:REWRITE DEFAULT-COERCE-1))
 (4 4 (:REWRITE SYMBOLP-WHEN-MEMBER-EQUAL-OF-TRIVIAL-FORMALS))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 (1 1 (:REWRITE DEFAULT-COERCE-3))
 )
(A::SEMANTIC-FUNCTIONS-FOR-MNEMONICS)
(A::INSTRUCTION-SEMANTIC-FUNCTIONS)
(A::LIFTER-RULES32)
