#ifdef DECL_TIME
extern time_t time (time_t *);
#endif