Chapter 5, Computing with Register Machines

Exercise 5.20


Diagram:


x points to index 1.

y points to index 2.

free points to index 4.