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