example 5-08 works