pub type zx_time_t = i64;