add 1.23.scm