xsb interface