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