add the missing file ch2.5.scm