src/testsuite/semok
