XSB Manuals