private void readNames(int base) {
pos = base;
int nextra = readInt(2);
names = new String[nextra];
// safenames= new String[nextra];
for (int i = 0; i < nextra; i++) {
Range r = getIndexEntry(base, i);
names[i] = new String(data, r.getStart(), r.getLen());
System.out.println(
"Read name: "
+ i
+ " from "
+ r.getStart()
+ " to "
+ r.getEnd()
+ ": "
+ safe(names[i]));
}
}
