COMMIT_REQUIRED
c->cmt_state != COMMIT_REQUIRED)
if (c->cmt_state == COMMIT_REQUIRED)
dbg_cstate(COMMIT_REQUIRED));
c->cmt_state = COMMIT_REQUIRED;
case COMMIT_REQUIRED:
c->cmt_state = COMMIT_REQUIRED;
if (c->cmt_state == COMMIT_REQUIRED)
case COMMIT_REQUIRED: