String name = i + ".dat";
int length = gen.nextInt() & LENGTH_MASK;
byte b = (byte)(gen.nextInt() & 0x7F);
//System.out.println("reading " + name + " with " + length + " of " + b);
InputStream file = store.openFile(name);
if (file.length() != length)
throw new Exception("length incorrect");
for (int j = 0; j < length; j++)