pub type clockid_t = __clockid_t;