add 1.12.scm