;System K-Compiler made by wkf at 29-Sep-88 12:14:57  -*-Mode: Lisp; Package: User; Base: 10-*-