zipios_DeflateOutputStreambuf(3) on Linux
The text a7f075ea1a14, as Debian 6.0 (Squeeze), Debian 5.0 (Lenny) 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.