Has anyone yet edited the interpreter to change global variables to local,
so that you could run multiple OCaml programs, each in its own thread, in a
single process?

(Or, edited the native runtime, so that you could run multiple ocamlopt
compiled OCaml programs in a single process?)