;;; CLC v1.5 compiling SS:<CLISP>EVAL.CLISP.6 Compiling "SS:<CLISP>EVAL.CLISP.6". %TOP-LEVEL compiled. PROCLAIM compiled. UNPROCLAIM compiled. PARSE-BODYE compiled. PROG* compiled. PROG compiled. Finished "SS:<CLISP>EVAL.CLISP.6". Wall time 18170 ms; Run time 5283 ms.