Checkpoint, compiles