Constant _GLIBCXX_HAVE_STDINT_H 

pub const _GLIBCXX_HAVE_STDINT_H: u32 = 1;