Constant IFCBOXEDHALFSPACE 

pub const IFCBOXEDHALFSPACE: u32 = 2713105998;