The text b5e47c8179c4, as Debian 8 (Jessie) shipped it.
type demangler and pretty printer
pretty_name(8rheolef) on Linux now
