update example 4-16

update example 4-16, and debug example 4-15