extern {
    pub type DiagnosticInfo;
}