pub type clock_time_t = u32;