pub type mach_msg_type_number_t = natural_t;