return Float.intBitsToFloat(res);
return size;
    float bdd_pathcount_rec(int r) {        OpCache2Entry entry;        float size;        if (ISZERO(r)) return 0f;        if (ISONE(r)) return 1f;        int res;        entry = countcache.lookup(PATHCOUHASH(r));        if ((res = entry.get(r, miscid)) != -1) {            if (CACHESTATS) countcache.cacheHit++;            return Float.intBitsToFloat(res);        }        if (CACHESTATS) countcache.cacheMiss++;        size = bdd_pathcount_rec(LOW(r)) + bdd_pathcount_rec(HIGH(r));        entry.set(r, miscid, Float.floatToIntBits(size));        return size;    }