u_int64_t, not uint64_t