pub const deprecated_suggestion: Symbol;