#include #include "dk4conf.h" #include "dk4time.h" int main(void) { char buffer[64]; dk4_time_t timer; dk4time_get(&timer); if (dk4time_as_text(buffer, sizeof(buffer), &timer, NULL)) { fputs(buffer, stdout); fputc('\n', stdout); } return 0; }