// file: libprint/libprint.cxx -*- C++ -*- #include #include using namespace std; namespace print { void to_stdout (const string& s) { cout << s << endl; } }