asm asm_inst asm_opt asmpass2 auxlry
builtin compile config cp_opt cutcheck
flatten inprog listutil parse peephole
pre_cond preproc printres gensym sanity
singlton spec suppltab symtab tabdef
ti_mod tp_comp tp_cond tp_eval tp_goal
tp_index tp_var tpinline tprog useinfer
varproc writeasm