boolean is_d = cache.table instanceof BddCacheDataD[];
    int BddCache_resize(BddCache cache, int newsize) {        if (cache == null) return 0;        int n;        free(cache.table);        cache.table = null;        newsize = bdd_prime_gte(newsize);        boolean is_d = cache.table instanceof BddCacheDataD[];        if (is_d)            cache.table = new BddCacheDataD[newsize];        else            cache.table = new BddCacheDataI[newsize];        for (n = 0; n < newsize; n++) {            if (is_d)                cache.table[n] = new BddCacheDataD();            else                cache.table[n] = new BddCacheDataI();            cache.table[n].a = -1;        }        cache.tablesize = newsize;        return 0;    }