;System K-DEBUGGER made by wkf at 27-Sep-88 15:19:37  -*-Mode: Lisp; Package: User; Base: 10-*-