Add ex-2.85.scm