Add some more options into the debug REPL (boris).