4635 Dec 14 1987 $factor1 5981 Dec 14 1987 $translcuts1 5647 Dec 14 1987 $tprog1 2389 Dec 14 1987 $translate1 5253 Dec 14 1987 $transform1 2659 Dec 14 1987 $tindex1 2052 Dec 14 1987 $tgoal1 3544 Dec 14 1987 $procvars1 2433 Dec 14 1987 $tcond1 2369 Dec 14 1987 $targlist1 2490 Dec 14 1987 $prococcbody1 2295 Dec 14 1987 $prococc1 2495 Dec 14 1987 $procarglist1 898 Dec 14 1987 $procclp1 12780 Dec 14 1987 $peephole1 2309 Dec 14 1987 $preprocess1 1895 Dec 14 1987 $listutil1 4389 Dec 14 1987 $inst1 2708 Dec 14 1987 $normvarocc1 1249 Dec 14 1987 $inline1 1914 Dec 14 1987 $inprog1 3167 Dec 14 1987 $index1 2528 Dec 14 1987 $getclauses 5261 Dec 14 1987 $geninline1 2971 Dec 14 1987 $convrhs1 1762 Dec 14 1987 $flatten1 3887 Dec 14 1987 $eval1 1381 Dec 14 1987 $disjunc1 1420 Dec 14 1987 $cond1 126620 Dec 14 1987 $compile 4381 Dec 14 1987 $computil1 6265 Dec 14 1987 $compile1 1914 Dec 14 1987 $aux1 2448 Dec 14 1987 $asmpass21 6719 Dec 14 1987 $asmpass11 7741 Dec 14 1987 $asmbgen1 3250 Dec 14 1987 $alloctvars1 4415 Dec 14 1987 $asm1