Explicit evaluation machine, and exercise 5.23