#512: verbose logging for debugger