/testsuite/buildok/

• ../
• five.stp
• four.stp
• one.stp
• seven.stp
• six.stp
• three.stp
• two.stp