add 2.72.scm