Constant __BRIDGEOS_8_5 

pub const __BRIDGEOS_8_5: u32 = 80500;