On Tue, Oct 13, 2009 at 04:08:38PM +0200, Stéphane Glondu wrote: > The OCaml runtime doesn't check anything at this point. It just "hopes" > that the .so is the same as the one that was used for linking. dh_ocaml > enforces that. Perhaps one could add a mechanism for C stubs that would make them refer to a versioned symbol in the OCaml runtime, similar to how Linux kernel modules work? That way at least the dlopen would fail rather than segfaulting.