ex-2.80.scm