rewrite 013.scm