header file for Exercise 4-7