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