Constant __glibcxx_void_t 

pub const __glibcxx_void_t: u32 = 201411;