class RandomAccessFileInputStream extends InputStream {

  public long getPosition() throws IOException {
    return raf.getFilePointer();
  }

  public  RandomAccessFileInputStream(File file);
  public  RandomAccessFileInputStream(File file, long rangeOffset, long rangeLength);

}