macro_rules! diag_assert {
    ($desired_abort_level:expr, $cond_expr:expr) => { ... };
}