Add example 8.17.