pub type __clock_t = i64;