Debugging the debugger plugin.
Adding a matching form command to InstrManager.