style, u_int64_t -> uint64_t.