;System K-Compiler made by wkf at 11-Oct-88 15:08:00  -*-Mode: Lisp; Package: User; Base: 10-*-