// mach/mach_init.h
// /Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/mach/mach_init.h
pub type mach_port_t = u32;
extern "C"
// mach/mach_types.h
// /Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/mach/mach_types.h
pub type task_port_t = mach_port_t;