2 // Default placement versions of operator new.
3 inline void* operator new(unsigned, void* __p) throw();
6 template<typename _CharT>
12 extern stdio_filebuf<char> buf_cout;
15 // Create stream buffers for the standard streams and use
16 // those buffers without destroying and recreating the
18 new (&buf_cout) stdio_filebuf<char>();