williamr@0: stdio_streambuf