Constant exported_non_generic_symbols

pub const exported_non_generic_symbols: &str = "exported_non_generic_symbols";