(STD::PARSE-DEFINES)
(STD::COLLECT-PREPWORKS)
(STD::COLLECT-MACROS)
(STD::COLLECT-IGNORE-OKS)
(STD::COLLECT-IRRELEVANT-FORMALS-OKS)
(STD::MAKE-IGNORE-EVENTS)
(STD::COLLECT-MAIN-DEFS)
(STD::COLLECT-MACRO-ALIASES)
(STD::COLLECT-GUTS-ALIST-EXTS)
(STD::COLLECT-NAMES-FROM-GUTS)
(STD::COLLECT-DEFINES-TO-DISABLE)
(STD::MAKE-FN-DEFSECTIONS)
(STD::COLLECT-FN-DEFSECTIONS)
(STD::GUTS->FLAG)
(STD::COLLECT-FLAG-MAPPING)
(STD::RETURNSPEC-THM-BODIES)
(STD::RETURNSPEC-THM-RULECLASSES-ADD-COROLLARY)
(STD::RETURNSPEC-THM-RULECLASSES)
(STD::RETURNSPEC-THM-HINTS)
(STD::FIND-FIRST-STRING-HINT)
(STD::RETURNSPECS-FLAG-ENTRIES)
(STD::FN-RETURNSPEC-FLAG-ENTRIES)
(STD::COLLECT-RETURNSPEC-FLAG-THMS)
(STD::RETURNSPEC-MREC-DEFAULT-DEFAULT-HINT)
(STD::RETURNSPEC-MREC-DEFAULT-HINTS)
(STD::RETURNSPEC-FLAG-THM)
(STD::DEFINES-GUTS-P)
(STD::DEFINES-GUTS)
(STD::DEFINES-GUTS->NAME$INLINE)
(STD::DEFINES-GUTS->GUTSLIST$INLINE)
(STD::DEFINES-GUTS->KWD-ALIST$INLINE)
(STD::DEFINES-GUTS->FLAG-MAPPING$INLINE)
(STD::DEFINES-GUTS->FLAG-DEFTHM-MACRO$INLINE)
(STD::DEFINES-GUTS->GUARDS-AFTER-RETURNS$INLINE)
(STD::GET-DEFINES-ALIST)
(STD::EXTEND-DEFINES-ALIST)
(STD::GUTSLIST-FIND-HINTS)
(STD::APPLY-RULER-EXTENDERS-TO-DEFS)
(STD::MAYBE-INJECT-GLOBAL-DOCS)
(STD::SPLIT-///-DEFINES)
(STD::DEFINES-FN)
(STD::PASS-KWD-ARGS)
(STD::DEFGUTSLIST-FIND)
(STD::DEFRET-MUTUAL-PROCESS-DEFRET)
(STD::DEFRET-MUTUAL-PROCESS-DEFRETS)
(STD::DEFRET-MUTUAL-FN)
