Type Alias zx_excp_type_t 

pub type zx_excp_type_t = u32;