outStream.print(" range: ");
VLSNRange range = VLSNRange.readFromDatabase(data);
outStream.println(range);
} else {
outStream.print(" key=" + keyVal);
VLSNBucket bucket = VLSNBucket.readFromDatabase(data);
outStream.println(" " + bucket);
if (verbose) {
outStream.println("-------------------------------");
bucket.dump(outStream);
outStream.println("-------------------------------\n");
}
}
}
}