pub const DiagnosticMessage: Symbol;