XSB/examples/xmc/Metalock
