;System K-DEBUGGER made by wkf at 23-Sep-88 14:11:01  -*-Mode: Lisp; Package: User; Base: 10-*-