you can successfully load files in xsb