tools for debugging under windows