/testsuite/transok/

• ../
• three.stp