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