;System K-DEBUGGER made by wkf at 20-Oct-88 15:07:38  -*-Mode: Lisp; Package: User; Base: 10-*-