explorer checkpointing. still broken.