+/* Returns the difference between two calendar times in seconds. */
+double difftime( time_t time1, time_t time0 ) _PDCLIB_nothrow;
+
+time_t mktime( struct tm * timeptr ) _PDCLIB_nothrow;
+
+time_t time( time_t * timer ) _PDCLIB_nothrow;
+
+int timespec_get( struct timespec * ts, int base ) _PDCLIB_nothrow;
+
+char * asctime( const struct tm * timeptr ) _PDCLIB_nothrow;
+
+char * ctime( const time_t * timer ) _PDCLIB_nothrow;
+
+struct tm * gmtime( const time_t * timer ) _PDCLIB_nothrow;
+
+struct tm * localtime( const time_t * timer ) _PDCLIB_nothrow;
+
+size_t strftime( char * _PDCLIB_restrict s, size_t maxsize, const char * _PDCLIB_restrict format, const struct tm * _PDCLIB_restrict timeptr );
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif