krb5_klog_syslog
void krb5_klog_syslog(void) {}
krb5_klog_syslog(int priority, const char *format, ...)