;System K-Compiler made by wkf at 19-Oct-88 17:54:48  -*-Mode: Lisp; Package: User; Base: 10-*-