;System K-DEBUGGER made by wkf at 14-Oct-88 10:58:55  -*-Mode: Lisp; Package: User; Base: 10-*-