ex3.56.scm