public ISRandomAccessIO(System.IO.Stream is_Renamed) : this(is_Renamed, 1 << 18, 1 << 18, System.Int32.MaxValue) { }