rewrite 015.scm
rewrite 016.scm
rewrite 019.scm