pub fn eprint_diagnostic(diag: String)