From a discussion with @brandtbucher.
Currently, JIT code is pointed to from "executor" objects. Exits from JIT code point to these executor objects, which adds an extra indirection when transferring control to jitted code.
Instead we can point directly to the machine code, avoiding a level of indirection and any offset computation
