__gnu_cxx::stdio_filebuf(3cxx) on Linux
The text b2bf91df06b9, as Debian 10 (Buster) 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>.