;System K-cross-compiler made by wkf at 20-Oct-88 10:31:07  -*-Mode: Lisp; Package: User; Base: 10-*-