Table 1: Registers of the abstract machine.