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