pub type __clockid_t = c_int;