XSB/examples/xmc
