MFCINST_HEAD_PRODUCED
ctx->state == MFCINST_HEAD_PRODUCED) &&
ctx->state = MFCINST_HEAD_PRODUCED;
case MFCINST_HEAD_PRODUCED: