/* Type for time as used by "utils_time.h" */
typedef uint64_t cdtime_t;
/* hostname_set updates hostname_g */
void hostname_set(char const *hostname);
/* Type for time as used by "utils_time.h" */
typedef uint64_t cdtime_t;
/* hostname_set updates hostname_g */
void hostname_set(char const *hostname);