pub type u_int64_t = u64;