64-bit, so better cast time_t to intmax_t, and use the appropriate printf format strings. MFC after: 1 week