Inheritance: System.IO.Stream
		public BufferedReadStream(Stream base_stream, int buffer_length, byte[] header)
		{
			this.baseStream = base_stream;
			this.bufferStream = new RingbufferStream(buffer_length);
			if (header!=null) {
				this.bufferStream.Write(header, 0, header.Length);
			}
		}