/testsuites/sptests/spintrcritical16/

• ../
• init.c
• spintrcritical16.doc
• spintrcritical16.scn