williamr@4: using _STLP_OLD_IO_NAMESPACE::ostream;
williamr@4: using _STLP_OLD_IO_NAMESPACE::endl;
williamr@4: using _STLP_OLD_IO_NAMESPACE::ends;
williamr@4: using _STLP_OLD_IO_NAMESPACE::flush;
williamr@4: 
williamr@4: // using _STLP_OLD_IO_NAMESPACE::ws;