progress with writing to and from xsb