more checkpoints for bug mining