> The short answer is you can't. It's a pity, but to the present day the
> vanilla Ocaml distribution does not support mixing native and byte-code.
> Also, it is not possibile to Dynlink native code, which is even more of
> a pity.

Well, dynlink with native code probably isn't desirable, as can't
really verify it.

How about embedding the bytecode interpreter in an ocaml native
program? How would one go about that?