ifilterbuf(3bobcat) on Linux
The text 22b3e0d9ee05, as Debian 12 (Bookworm) shipped it.
Filtering stream buffer initialized by a std::istream object
The text 22b3e0d9ee05, as Debian 12 (Bookworm) shipped it.
Filtering stream buffer initialized by a std::istream object