Interfacing coq and ocaml strings