modified:   testsrc/runtests.hs