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