Constant _GLIBCXX_HAVE_FINITEL 

pub const _GLIBCXX_HAVE_FINITEL: u32 = 1;