Major overhaul of debugger.  What works: basic printing.  What doesn't: string formatting.