if (firstReorder-- == 1) continue again; res = BDDZERO;
numReorder--; continue again;
    int bdd_veccompose(int f, bddPair pair) {        int res;        firstReorder = 1;        CHECKa(f, bddfalse);        if (applycache == null) applycache = BddCacheI_init(cachesize);        if (itecache == null) itecache = BddCacheI_init(cachesize);        if (replacecache == null) replacecache = BddCacheI_init(cachesize);                again : for (;;) {            try {                INITREF();                replacepair = pair.result;                replaceid = (pair.id << 2) | CACHEID_VECCOMPOSE;                replacelast = pair.last;                if (firstReorder == 0)                    bdd_disable_reorder();                res = veccompose_rec(f);                if (firstReorder == 0)                    bdd_enable_reorder();            } catch (ReorderException x) {                bdd_checkreorder();                if (firstReorder-- == 1)                    continue again;                res = BDDZERO;                /* avoid warning about res being uninitialized */            }            break;        }        checkresize();        return res;    }