pub type zx_clock_t = u32;