;System K-cross-compiler made by wkf at 27-Sep-88 09:57:02  -*-Mode: Lisp; Package: User; Base: 10-*-