Debugging with DGB