I looked through the header files for FreeBSD's platforms, and time_t is always an __int32 or __int64. Maybe Linux or NetBSD can provide an exception.