XSB/examples/xmc/Iproto
