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);
}
}