Update example_17.jl