pub type c__clockid_t = i32;