made xsb halt