#include <krb5/krb5.h>
krb5_timestamp;
krb5_deltat;
krb5_error_code
krb5_set_real_time(krb5_context context, krb5_timestamp sec, int32_t usec);
krb5_error_code
krb5_timeofday(krb5_context context, krb5_timestamp *timeret);
krb5_error_code
krb5_us_timeofday(krb5_context context, krb5_timestamp *sec, int32_t *usec);
krb5_error_code
krb5_format_time(krb5_context context, time_t t, char *s, size_t len, krb5_boolean include_time);
krb5_error_code
krb5_string_to_deltat(const char *string, krb5_deltat *deltat);