pub type __darwin_clock_t = u64;