Testing a call by value power function. Section 1.8, page 27