code for invocation of OCaml from gdb