shaped up the debugger. Now I am happy with its state