ifilterstreambuf(3bobcat) on Linux
The text de0e5a2d34c8, as Debian 9 (Stretch) shipped it.
Filtering stream buffer initialized by a std::istream object
The text de0e5a2d34c8, as Debian 9 (Stretch) shipped it.
Filtering stream buffer initialized by a std::istream object