pub type c__clock_t = i32;