nbuckets = D_NBUCKETS; margin = D_MARGIN; buckets = new List[nbuckets]; }
this(D_NBUCKETS, D_MARGIN); }
    public ExtentIndexImpl() {        nbuckets = D_NBUCKETS;        margin = D_MARGIN;        buckets = new List[nbuckets];    }