pub type zx_ticks_t = i64;