int main ( int argc, char *argv[] );
void timestamp ( );