pub type c__clockid_t = c_int;