Update ex_1_12.scm