+//
+// Time conversions
+//
+//! Convert the time structure into a string of form 'Sun Sep 16 01:03:52 1973\n\0'
+extern char *asctime(const struct tm *timeptr);
+
+//! asctime(localtime(timer))
+extern char *ctime(const time_t *timer);
+
+//! Convert \a timter into UTC
+extern struct tm *gmtime(const time_t *timer);
+
+extern struct tm *localtime(const time_t *timer);
+
+extern size_t strftime(char*restrict s, size_t maxsize, const char*restrict format, const struct tm*restrict timeptr);
+
+#include <libposix_time.h>
+