Man pages matching name krb5_send_to_kdc_flags in section 3: