krb5_is_as_rep
if (krb5_is_as_rep(enc_rep))
} else if (krb5_is_as_rep(&reply)) {
if (reply->length != 0 && !krb5_is_as_rep(reply)) {