added debugging output to ocaml file