XSB/cmplib
