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