CS_CHECKPOINT_EXISTS
assert(pcs->pcs_state == CS_CHECKPOINT_EXISTS ||
assert(pcs->pcs_state == CS_CHECKPOINT_EXISTS);
if (pcs->pcs_state == CS_CHECKPOINT_EXISTS) {
pcs->pcs_state = CS_CHECKPOINT_EXISTS;