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