There was this previous discussion of ocamlnat and a related PR. JIT is nice but is certainly beyond what I am envisioning. I would be happy to have AOTC and have a byte code runtime, provided if it can call natively compiled functions. If that is not possible due to the difference in runtimes, I guess I will need to settle for RPC.