Debugging debugging