debug info for checking xsb interactions