double cpu_time ( void );
int *time_numbers ( void );
void timestamp ( void );
char *timestring ( void );