The text 5b4c5fd55bec, as Debian 10 (Buster) shipped it.
The actual work of input and output (for files).
std::basic_filebuf(3cxx) on Linux now
