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