The text 31c31149c3b9, as Debian 7 (Wheezy) shipped it.
Input stream buffer initialized by a file descriptor
ifdstreambuf(3bobcat) on Linux now
