stdio_streambuf
