more-on-debugging.pdf