The text a36e8a1e3c7f, as Debian 7 (Wheezy) shipped it.
Class template for stream buffer.
redi_basic_pstreambuf(3) on Linux now
