Checkpointing back-end refactoring.