Exercise 4.3

Probably could have put procedure application into the data driven
style (like Louis Reason wanted to in exercise 4.2) but I didn't like
his idea.