Add header code from listing 8.24