fixed founded bugs.

tested by hand the llvm binding works.
added OCaml stubs.