Update ex_1_17.scm