pub type zx_excp_type_t = u32;