public long length() {if (onDiskFile == null) {return super.length();}return onDiskFile.length();}
public override long Length(){if (onDiskFile == null){return base.Length();}return onDiskFile.Length();}