pub type clockid_t = i32;