extern {
    pub type SMDiagnostic;
}