clock_t is a signed 32-bit integer on FreeBSD