} catch (BDDException x) {
} catch (ReorderException x) {
    int bdd_replace(int r, bddPair pair) {        int res;        int numReorder = 1;        CHECKa(r, bddfalse);        if (replacecache == null) replacecache = new OpCache2(cachesize); // replace_rec()                again : for (;;) {            try {                INITREF();                replacepair = pair.result;                replacelast = pair.last;                replaceid = (pair.id << 1) | CACHEID_REPLACE;                if (numReorder == 0) bdd_disable_reorder();                res = replace_rec(r);                if (numReorder == 0) bdd_enable_reorder();            } catch (BDDException x) {                bdd_checkreorder();                numReorder--;                continue again;            }            break;        }        checkresize();        return res;    }