;System K-Compiler made by wkf at 20-Oct-88 15:05:49  -*-Mode: Lisp; Package: User; Base: 10-*-