The text 74b8b38db737, as Debian 7 (Wheezy) shipped it.
type demangler and pretty printer
pretty_name(8rheolef) on Linux now
