The text 0422e24a6ee0, as Debian 10 (Buster) shipped it.
The actual work of input and output (interface).
std::streambuf(3cxx) on Linux now
