The text 508675e8e39c, as Debian 9 (Stretch) shipped it.
The actual work of input and output (for files).
std::basic_filebuf(3cxx) on Linux now
