;System K-DEBUGGER made by WKF at 10-Oct-88 13:01:00  -*-Mode: Lisp; Package: User; Base: 10-*-