MFCINST_RES_CHANGE_FLUSH
ctx->state = MFCINST_RES_CHANGE_FLUSH;
if (ctx->state == MFCINST_RES_CHANGE_FLUSH) {
case MFCINST_RES_CHANGE_FLUSH:
ctx->state == MFCINST_RES_CHANGE_FLUSH) &&
case MFCINST_RES_CHANGE_FLUSH:
case MFCINST_RES_CHANGE_FLUSH: