if (firstReorder == 0) bdd_enable_reorder();
if (numReorder == 0) bdd_enable_reorder();
    int bdd_not(int r) {        int res;        firstReorder = 1;        CHECKa(r, bddfalse);        if (applycache == null) applycache = BddCacheI_init(cachesize);        again : for (;;) {            try {                INITREF();                if (firstReorder == 0)                    bdd_disable_reorder();                res = ZDD ? znot_rec(r) : not_rec(r);                if (firstReorder == 0)                    bdd_enable_reorder();            } catch (ReorderException x) {                bdd_checkreorder();                if (firstReorder-- == 1)                    continue again;                res = bddfalse;                /* avoid warning about res being uninitialized */            }            break;        }        checkresize();        return res;    }