;System K-Compiler made by wkf at 14-Oct-88 16:43:47  -*-Mode: Lisp; Package: User; Base: 10-*-