Constant exported_non_generic_symbols 

pub const exported_non_generic_symbols: &str = "exported_non_generic_symbols";