Don't just assume that either uint64_t or u_int64_t is available. Instead,