if ((res = entry.get(r, miscid)) != -1) {
if ((size = entry.get_sid(r, miscid)) >= 0) {
    float satcount_rec(int r) {        OpCache2Entry entry;        float size, s;        if (ISCONST(r)) return r;        int res;        entry = countcache.lookup(SATCOUHASH(r));        if ((res = entry.get(r, miscid)) != -1) {            if (CACHESTATS) countcache.cacheHit++;            return Float.intBitsToFloat(res);        }        size = 0;        s = 1;        int LEVEL_r = LEVEL(r);        int LOW_r = LOW(r);        int HIGH_r = HIGH(r);        s *= Math.pow(2.0, (float) (LEVEL(LOW_r) - LEVEL_r - 1));        size += s * satcount_rec(LOW_r);        s = 1;        s *= Math.pow(2.0, (float) (LEVEL(HIGH_r) - LEVEL_r - 1));        size += s * satcount_rec(HIGH_r);        entry.set(r, miscid, Float.floatToIntBits(size));        return size;    }