/testsuites/sptests/spintrcritical20/
../
init.c
spintrcritical20.doc
spintrcritical20.scn