pub type __clock_t = c_long;