Update ex-3.25.scm

test