XSB/examples/xmc/Needham
