pub type clock_t = __clock_t;