The text 42f56bea0aeb, as Debian 4.0 (Etch) shipped it.
converts a principal to a system local name
krb5_aname_to_localname(3) on Linux now
