Constant MACH_RCV_IN_PROGRESS_TIMED 

pub const MACH_RCV_IN_PROGRESS_TIMED: u32 = 268451857;