Note: this section is a work in progress!

[1] We have used the same symbol + here to denote both the source-language function and the machine operation. In general there will not be a one-to-one correspondence between primitives of the source language and primitives of the machine.
[2] Making the primitives into reserved words is in general a bad idea, since a user cannot then rebind these names to different functions. Moreover, if we add reserved words to a compiler that is in use, existing programs that define functions with these names will stop working. See exercise 5.43 for ideas on how to avoid this problem.
5.5.5 An Example of Compiled Code