;System K-Compiler made by wkf at 6-Oct-88 07:04:55  -*-Mode: Lisp; Package: User; Base: 10-*-