4-17/3.3.scm added