Add ex1.12.scm.