Updated stream_buffer.h and seq_file.h