/testsuites/sptests/spintrcritical09/

• ../
• init.c
• spintrcritical09.doc
• spintrcritical09.scn