The text f502c0aeca3a, as Debian 6.0 (Squeeze) shipped it.
class enc_filebuf.
__gnu_cxx::enc_filebuf(3cxx) on Linux now
