wcostream.cc