zipios_DeflateOutputStreambuf(3) on Linux
The text 47b56c86a4cf, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
DeflateOutputStreambuf is an output stream filter, that deflates the data that is written to it before it passes it on to the output stream it is attached to.