;System K-DEBUGGER made by wkf at 29-Sep-88 16:40:30  -*-Mode: Lisp; Package: User; Base: 10-*-