To understand a program you must become both the machine and the program.
A program that has not been tested does not work.