The text 6f444da5dc84, as Debian 4.0 (Etch) shipped it.
get forwarded credentials from the KDC
krb5_get_forwarded_creds(3) on Linux now
