#include <time.h>
int main(void) {
  time_t t;
  t = time(NULL);
  printf("Time: %d\n", t);
}