Constant __BRIDGEOS_4_0 

pub const __BRIDGEOS_4_0: u32 = 40000;