pub type mach_port_t = c_uint;