The text a0ba33ab8d76, as Debian 10 (Buster) shipped it.
Controlling input and output for std::string.
std::basic_stringstream(3cxx) on Linux now
