XSB/examples/xmc/Leader
