Exercise 5.2: Use the register-machine language
to describe the iterative factorial machine of Exercise 5.1.