XSB/examples/xmc/Tests
