Constant KERN_NOT_RECEIVER 

pub const KERN_NOT_RECEIVER: c_int = 7;