+//
+// 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);
+extern char *asctime_r(const struct tm *timeptr, char *buf);
+
+//! asctime(localtime(timer))
+extern char *ctime(const time_t *timer);
+extern char *ctime_r(const time_t *timer, struct tm *result);
+
+//! Convert \a timter into UTC
+extern struct tm *gmtime(const time_t *timer);
+extern struct tm *gmtime_r(const time_t *timer, struct tm *result);
+
+extern struct tm *localtime(const time_t *timer);
+extern struct tm *localtime_r(const time_t *timep, struct tm *result);
+
+extern size_t strftime(char*s, size_t maxsize, const char*format, const struct tm*timeptr);
+
+#ifdef __cplusplus
+};
+#endif
+
+#include <libposix_time.h>
+