pub type c__clock_t = i64;