src/testsuite/semko
