krb_warning("Machine time: %s", ctime(&tv->tv_sec));
krb_warning("Machine time: %s", ctime((time_t *)&tv->tv_sec));
krb_kdctimeofday(struct timeval *tv){    gettimeofday(tv, NULL);    if(krb_debug) 	krb_warning("Machine time: %s", ctime(&tv->tv_sec));    tv->tv_sec += krb_get_kdc_time_diff();    if(krb_debug) 	krb_warning("Correcting to %s", ctime(&tv->tv_sec));}