See /doc/tutorial-debug.html.