/testsuites/sptests/spintrcritical07/
../
spintrcritical07.doc
spintrcritical07.scn