(EX 2.4 infinitely many outputs continued) In the program compilation experiment, define , and by

Then