checkpoint; finished replay on deepfork