miscid = CACHEID_SATCOU;
miscid = CACHEID_SATCOU << NODE_BITS;
    double bdd_satcount(int r) {        double size = 1;        CHECK(r);        if (countcache == null) countcache = new OpCache2(cachesize);                miscid = CACHEID_SATCOU;        size = Math.pow(2.0, (double) LEVEL(r));        return size * satcount_rec(r);    }