add 2.58.scm