Constant IFCCRANERAILASHAPEPROFILEDEF 

pub const IFCCRANERAILASHAPEPROFILEDEF: u32 = 4133800736;