checkpoint, debugging