const DIAGNOSTICS: LocalKey<RefCell<Vec<NonHaltingDiagnostic>>>;