pub type u_int64_t = __uint64_t;