__gnu_cxx::stdio_filebuf(3cxx) on Linux
The text 4485a257da4e, as Debian 9 (Stretch) shipped it.
Provides a layer of compatibility for C/POSIX. This GNU extension provides extensions for working with standard C FILE*'s and POSIX file descriptors. It must be instantiated by the user with the type of character used in the file stream, e.g., stdio_filebuf<char>.