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