notes on interpretation of computer programs 9176439