The text 5963edc464a7, as Debian 3.1 (Sarge) shipped it.
converts a principal to a system local name.
krb5_aname_to_localname(3) on Linux now