/* WARNING: This file was generated by dkct. Changes you make here will be lost if dkct is run again! You should modify the original source and run dkct on it. Original source: test-dk4time.ctr */ /** @file test-dk4time.c The test-dk4time module. */ #line 1 "test-dk4time.ctr" #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; }