Amend ex-2-42.scm