public int readInt(long pos) throws IOException {
   byte[] buf = read(pos, 4);
   return DataInputX.toInt(buf, 0);
 }