The text a2b00e380530, as Debian 4.0 (Etch) shipped it.
lookup Kerberos KDC hosts
krb5_krbhst_init_flags(3) on Linux now