public short readShort(long pos) throws IOException {
   byte[] buf = read(pos, 2);
   return DataInputX.toShort(buf, 0);
 }