XSB/packages/xpath/Misc
