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