improvements to the debug tools