Checkpoint: Basic structure of an executing program