(SYMBOL-APPENDP)
(DEC-TO-STRING)
(NAT-TO-STRING)
(SYMBOL-APPEND-STRING)
(SYMBOL-BINARY-APPEND)
(MAKE-HYPS-AND-ARGS-LIST)
(MAKE-HYPS-AND-FN)
(MAKE-HYPS-AND-FNS)
(SIV)
(SIV-REWRITE)
(FAK
 (1 1 (:TYPE-PRESCRIPTION FAK))
 )
(FAIL
 (1 1 (:TYPE-PRESCRIPTION FAIL))
 )
(HYPS-AND-0)
(HYPS-AND-1)
(HYPS-AND-2)
(HYPS-AND-3)
(HYPS-AND-4)
(HYPS-AND-5)
(HYPS-AND-6)
(HYPS-AND-7)
(HYPS-AND-8)
(HYPS-AND-9)
(HYPS-AND-10)
(HYPS-AND-11)
(HYPS-AND-12)
(HYPS-AND-13)
(HYPS-AND-14)
(HYPS-AND-15)
(HYPS-AND-16)
(HYPS-AND-17)
(HYPS-AND-18)
(HYPS-AND-19)
(HYPS-AND-20)
(HYPS-AND-21)
(HYPS-AND-22)
(HYPS-AND-23)
(HYPS-AND-24)
(HYPS-AND-25)
(HYPS-AND-26)
(HYPS-AND-27)
(HYPS-AND-28)
(HYPS-AND-29)
(HYPS-AND-30)
(HYPS-AND-31)
(HYPS-AND-32)
(HYPS-AND-33)
(HYPS-AND-34)
(HYPS-AND-35)
(HYPS-AND-36)
(HYPS-AND-37)
(HYPS-AND-38)
(HYPS-AND-39)
(HYPS-AND-40)
(HYPS-AND-41)
(HYPS-AND-42)
(HYPS-AND-43)
(HYPS-AND-44)
(HYPS-AND-45)
(HYPS-AND-46)
(HYPS-AND-47)
(HYPS-AND-48)
(HYPS-AND-49)
(HYPS-AND-50)
(HYPS-AND-51)
(HYPS-AND-52)
(HYPS-AND-53)
(HYPS-AND-54)
(HYPS-AND-55)
(HYPS-AND-56)
(HYPS-AND-57)
(HYPS-AND-58)
(HYPS-AND-59)
(HYPS-AND-60)
(HYPS-AND-61)
(HYPS-AND-62)
(HYPS-AND-63)
(GEN-STOBJ+-RENAMING)
(PROCESS-STOBJ+-FIELDS)
(STOBJ+-RESIZE-FUNCS)
(STOBJ+-CLEAR-ARR-FUNCS)
(STOBJ+-CLEAR-FUNC)
(BUILT-IN-STOBJ+-FIELDS)
(STOBJ+-RECORD-FIELDS-FN)
(STOBJ+-RECORD-FIELDS)
(RESIZE-RCD-ARR-CALLS)
(MERGE-FIELDS-INTO-LIST)
(MERGE-FIELDS-INTO-OBJECT-ARR)
(KERN-MONITOR-COMP)
(KERN-MONITOR-RUN)
(KERN-ASSERT-COMP)
(KERN-MERGE-ARRAYS)
(KERN-ENABLE-CHECK-<^S)
(KERN-ENABLE-CHECK-FIXNS)
(KERN-ENABLE-TEMP-RECORDING)
(IS-LETK-STOBJ-VAR)
(IS-LETK-OBJECT-VAR)
(IS-LETK-FIXNUM-VAR)
(DROP-LIST-LAST)
(LEGAL-VAR-LISTP)
(LETK-BINDING-ENTRYP)
(LETK-BINDINGP)
(DEFUNK-FIXNUM-VARS)
(DEFUNK-TYPE-DECLARE)
(DEFUNK-STOBJ-VARS)
(DEFUNK-STOBJ-DECLARE)
(DEFUNK-CREATE-SIG)
(DEFUNK-MV-SIG)
(DEFUNK-FIXNUM-BODY)
(DEFUNK-TAG-BODY)
(DEFUNK-MAKE-BINDS)
(STR-HAS-PREFIX)
(SYMB-HAS-PREFIX)
(SYMB-PREFIXES)
(IS-KERN-PRIMITIVE)
(MAP-KERN-OP)
(ADD-KERN-TO-CALLS)
(MK-DEFUNK)
(PARSE-DEFUNK-ARGS)
(SPLIT-DEFUNKS)
(KERN-SPCS)
(RESIZE-NODE-STOR)
(RESIZE-NODE-HASH)
(RESIZE-QUOTE-STOR)
(RESIZE-QUOTE-HASH)
(RESIZE-TRANS-STOR)
(RESIZE-TRANS-HASH)
(RESIZE-MEMO-STOR)
(RESIZE-LOOP-STACK)
(RESIZE-OP-OBJ-STOR)
(RESIZE-OP-FIX-STOR)
(RESIZE-OP-HASH)
(RESIZE-UNDO-STK)
(RESIZE-UNDO-CHAINS)
(RESIZE-RULE-FIX-STOR)
(RESIZE-RULE-OBJ-STOR)
(RESIZE-CURR-CTX-STK)
(CLEAR-ARR-NODE-STOR)
(CLEAR-ARR-NODE-HASH)
(CLEAR-ARR-QUOTE-STOR)
(CLEAR-ARR-QUOTE-HASH)
(CLEAR-ARR-TRANS-STOR)
(CLEAR-ARR-TRANS-HASH)
(CLEAR-ARR-MEMO-STOR)
(CLEAR-ARR-LOOP-STACK)
(CLEAR-ARR-OP-OBJ-STOR)
(CLEAR-ARR-OP-FIX-STOR)
(CLEAR-ARR-OP-HASH)
(CLEAR-ARR-UNDO-STK)
(CLEAR-ARR-UNDO-CHAINS)
(CLEAR-ARR-RULE-FIX-STOR)
(CLEAR-ARR-RULE-OBJ-STOR)
(CLEAR-ARR-CURR-CTX-STK)
(CLEAR-LS$)
(KERN-NODE-TO-TERM1)
(KERN-MERGE-HISTOGRAMS)
(KERN-SPLIT-HISTOGRAM)
(KERN-SORT-HISTOGRAM)
(GET-RULE-HISTOGRAM)
(GET-RULE-TRY-HISTOGRAM)
(GET-NODE-HISTOGRAM)
(GET-TRANS-HISTOGRAM)
(KERN-HISTOGRAM-TO-TTREE)
(KERN-PRINT-LOOP-STACK)
(KERN-PRUNE-PRINT-TERM1)
(KERN-FIXFIX)
(KERN-PRINT-SUFFIX-STACK)
(KERN-PRINT-STATS)
(KERN-HASH-INDEX-STRING)
(KERN-HASH-INDEX-EVG)
(KERN-HASH-ARGS)
(KERN-HASH-ARG-LIST)
(KERN-LOOKUP-OPCD)
(KERN-ALLOC-RULE-NDX)
(KERN-ARG-LIST=)
(KERN-ARGS=)
(KERN-NODE=FN)
(KERN-FIND-UNIQ-SIG)
(KERN-FIND-UNIQ-NODE)
(KERN-COPY-NEW-ARGS)
(KERN-COMPUTE-ARGS-SIZE)
(KERN-ALL-ARGS-PROM)
(KERN-ALLOCATE-NODE)
(KERN-COMPLETE-PROMOTED-INIT)
(KERN-MAKE-ARG-LIST)
(KERN-SIGNATURE-TO-NODE)
(KERN-NODE-TO-SIGNATURE)
(KERN-INSTALL-NODE)
(KERN-INSTALL-NODE-MEMO)
(KERN-FIND-QUOTE-OBJ)
(KERN-MAKE-QUOTE)
(KERN-INSTALL-QUOTE)
(KERN-INSTALL-VAR-OPER)
(GET-VAR-OPCODE)
(KERN-INSTALL-VAR)
(KERN-TERM-TO-NODE)
(KERN-ALLOC-UNDO-PTR)
(KERN-MEMO-ARGS=)
(KERN-FIND-MAX-DCTX)
(KERN-CREATE-NEW-UNDO)
(KERN-CREATE-UPDATE-REP)
(KERN-CHECK-MEMOS)
(KERN-MEMO-COPY-ARGS)
(KERN-CREATE-MEMO-IF-NEEDED)
(KERN-UPDATE-REP)
(KERN-POP-UNDO-STK-FN)
(KERN-CREATE-NEW-DCTX)
(KERN-RESTORE-PREVIOUS-STATE)
(RESIZE-CANDIDATE-STOR)
(RESIZE-CANDIDATE-HASH)
(RESIZE-CANDIDATE-STK)
(CLEAR-ARR-CANDIDATE-STOR)
(CLEAR-ARR-CANDIDATE-HASH)
(CLEAR-ARR-CANDIDATE-STK)
(CLEAR-US$)
(KERN-CANDIDATE-TBL-INIT)
(KERN-CANDIDATE-TBL-STEP)
(KERN-CANDIDATE-HASH-SIZE)
(KERN-CANDIDATE-HASH-MASK)
(KERN-INIT-CANDIDATE-HASH)
(KERN-USER-INIT)
(KERN-FIND-CANDIDATE-IN-CHAIN)
(KERN-ADD-CANDIDATE-NODE)
(KERN-IF-SUBTERM)
(KERN-ADD-CANDIDATE-NODES)
(KERN-ADD-CANDIDATES-FOR-NODE)
(KERN-CASE-SPLIT-CANDIDATES)
(KERN-ADJUST-CANDIDATE-WEIGHT)
(KERN-WEIGH-CASE-SPLITS)
(KERN-FIND-BETTER-CANDIDATE)
(KERN-FIND-AND-CLEAR-SPLIT)
(KERN-DETERMINE-CASE-SPLIT)
(KERN-GENERATE-CASE-SPLIT)
(KERN-DROP-RULE)
(KERN-PLACE-RULE)
(KERN-MOVE-RULE)
(KERN-IS-LEGAL-RULE)
(KERN-IS-LEGAL-OPER)
(KERN-IS-LEGAL-SIG-ARGS)
(KERN-IS-LEGAL-SIG)
(KERN-LEGAL-SIEVES)
(KERN-INSTALL-ARG-AS-NODE)
(KERN-INSTALL-SIEVE-ARGS)
(KERN-INSTALL-SIEVES)
(KERN-FIND-RULE-ID)
(KERN-PROCESS-UPDATE)
(KERN-PROCESS-UPDATES)
(KERN-NODE-AUX-CNT)
(KERN-LEX-ORDER)
(KERN-TERM-ORDER)
(KERN-BDD-ORDER-P)
(KERN-CREATE-SIEVE-ARG)
(KERN-CREATE-SIEVE-ARGS)
(KERN-PROCESS-SLOW-SIEVE)
(KERN-PROCESS-USER-SIEVE)
(KERN-PROCESS-SIEVE)
(KERN-PROCESS-EACH-SIEVE)
(KERN-POP-VAR-CHG-STK-FN)
(KERN-SUBST-NODE)
(KERN-1WAY-UNIFY-VAR)
(KERN-1WAY-UNIFY-OBJ)
(KERN-1WAY-UNIFY)
(KERN-LOOP-STK-INCR)
(KERN-PUSH-LOOP-STACK)
(KERN-OPER-RULE-MATCH)
(KERN-RULE-MATCHES)
(KERN-ARGS-ARE-QUOTES)
(KERN-ARGS-QUOTE-OBJS)
(KERN-APPLY-EXEC)
(KERN-EXEC-COUNTERPART)
(KERN-PROMOTE-NODE)
(KERN-CREATE-EQUAL-TST-FOR-CASE)
(KERN-PUSH-NEW-CONTEXT)
(KERN-POP-NEW-CONTEXT)
(KERN-IS-SUBTERM)
(KERN-MARK-NODE-IN-CTX)
(KERN-MARK-SUBNODES-IN-CTX)
(KERN-REWRITE-HYPS-ARGS)
(MAKE-OPRCD)
(KERN-CHK-RULE-TRACED)
(KERN-IS-RULE-TRACED)
(KERN-INSTALL-AUTO-RULE)
(KERN-INSTALL-OPER-TYPE)
(KERN-INSTALL-OPER-BASE)
(KERN-CREATE-ALIST)
(KERN-EXPAND-LAMBDAS-FN)
(KERN-EXPAND-LAMBDA-TERMS)
(KERN-INSTALL-RULES)
(KERN-INSTALL-BASE-OPERS)
(KERN-INSTALL-RLRCDS)
(KERN-INSTALL-OPRCDS)
(KERN-REMOVE-EQUAL-LIST)
(KERN-UNFAK-TERM)
(KERN-TRANSLATE-HYPS)
(KERN-PRUNE-SIEVES)
(KERN-EXTRACT-SIEVES)
(KERN-FIND-NEW-RULES)
(KERN-FILTER-FAK-THMS)
(KERN-RULES-ALIST-FN)
(KERN-TRANS-FAK-THMS)
(KERN-RULES-ALIST)
(KERN-FIND-NUME)
(KERN-TYPE-PRE-SUBSETP)
(KERN-MATCH-DEFN-BODY)
(KERN-FIND-BOOLP)
(KERN-FIND-NON-NIL)
(KERN-FIND-IS-IF)
(KERN-FIND-IS-EQUAL)
(KERN-CREATE-OPRCDS)
(KERN-INIT-NODE-HASH)
(KERN-INIT-QUOTE-HASH)
(KERN-INIT-OP-HASH)
(KERN-INIT-MEMO-TBL)
(KERN-INSTALL-AND-CHECK-QUOTES)
(KERN-BASE-QUOTE-ALIST)
(KERN-INSTALL-BASE-QUOTES)
(KERN-FIND-MAX-NARG1)
(KERN-FIND-MAX-NARG)
(KERN-CHECK-OPCODE-ALIST)
(KERN-INITIAL-FNS)
(KERN-BASE-OPCD-ALIST)
(KERN-CHECK-BASE-OPCODES)
(KERN-CLEAR-NODE-COUNTS)
(USER-NODE-LIMIT)
(USER-NODE-ALLOC)
(USER-NODE-STEP)
(QOBJ-TBL-INITIAL)
(OPER-TBL-INITIAL)
(RULE-TBL-INITIAL)
(UNDO-STK-INITIAL)
(NODE-HASH-SIZE)
(NODE-HASH-MASK)
(NODE-MEMO-SIZE)
(NODE-MEMO-HASH)
(START-CLOCK-VALUE)
(NODE-TRANS-SIZE)
(NODE-STOR-SIZE)
(INITIAL-LOOP-SIZE)
(CURR-CTX-STK-SIZE)
(FIRST-QUOTE-NDX)
(FIRST-OPER-NDX)
(FIRST-NODE-NDX)
(FIRST-TRANS-NDX)
(KERN-LOGIC-INIT)
(KERN-HAS-FAIL-SUBTERM)
(KERN-CREATE-RESULT)
(KERN-SIMPLIFY-TERM)
(PARSE-KERNEL-SIMPLIFY-HINT)
(MIN-SIZE-PARAM)
(MAX-SIZE-PARAM)
(KERN-INIT-TOP-PARAMS)
(KERN-CLAUSE-TO-TERM)
(KERN-SIMPLIFY-MAIN)
(KERNEL-SIMPLIFY)
(K-S-HINT)
