pub type cclockid_t = i32;