update example 4-16