The text df5d770b3cec, as Debian 5.0 (Lenny) shipped it.
lookup Kerberos KDC hosts
krb5_krbhst_init(3) on Linux now