#include <time.h>

/** time representation **/

typedef long int                                                         time_t;

/***
is used for representing time.
***/

/*
DEFINED_TYPE(an arithmetic type)
STDC(1)
*/