Add ex-2.88.scm