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