Constant MACH_MSG_TYPE_PORT_RECEIVE 

pub const MACH_MSG_TYPE_PORT_RECEIVE: u32 = 16;