// ----------------------------------------------------------------------------
// $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 */ };