To understand a program you must become both the machine and the program.