almost have ocaml writing to xsb