;System K-DEBUGGER made by wkf at 17-Oct-88 18:46:49  -*-Mode: Lisp; Package: User; Base: 10-*-