Portable way to print time_t is to use long long.