CS_CHECKPOINT_DISCARDING
pcs->pcs_state == CS_CHECKPOINT_DISCARDING);
pcs->pcs_state == CS_CHECKPOINT_DISCARDING)
assert(pcs->pcs_state == CS_CHECKPOINT_DISCARDING);
pcs->pcs_state = CS_CHECKPOINT_DISCARDING;