+// ----------------------------------------------------------------------------
+// $Id$
+// ----------------------------------------------------------------------------
+// Public Domain C Library - http://pdclib.sourceforge.net
+// This code is Public Domain. Use, modify, and redistribute at will.
+// ----------------------------------------------------------------------------
+
+char * asctime( const struct tm * tptr ) { /* TODO */ };
+clock_t clock( void ) { /* TODO */ };
+char * ctime( const time_t * tod ) { /* TODO */ };
+double difftime( time_t t1, time_t t0 ) { /* TODO */ };
+struct tm * gmtime( const time_t * tod ) { /* TODO */ };
+struct tm * localtime( const time_t * tod ) { /* TODO */ };
+time_t mktime( struct tm * tptr ) { /* TODO */ };
+size_t strftime( char * restrict s, size_t n, const char * restrict format,
+ const struct tm * restrict tptr ) { /* TODO */ };
+time_t time( time_t * tod ) { /* TODO */ };