/* Only for small JIT hacks */