Update 4-debugging.md