checkpointed_core
