;System K-Compiler made by RG at 3-Oct-88 10:09:24  -*-Mode: Lisp; Package: User; Base: 10-*-