;System K-cross-compiler made by wkf at 17-Oct-88 19:04:06  -*-Mode: Lisp; Package: User; Base: 10-*-