Constant __glibcxx_is_final 

pub const __glibcxx_is_final: u32 = 201402;