Checkpoiting fairly tested
Recovery untested