JIT implementation and cleanup. Checkpointing.