The text 47bdf8472864, as Debian 5.0 (Lenny) shipped it.
converts a principal to a system local name
krb5_aname_to_localname(3) on Linux now