Macro assert

macro_rules! assert {
    ($cond:expr) => { ... };
    ($cond:expr, $($arg:tt)+) => { ... };
    (@ $cond:expr, $maybe_colon:expr, $($arg:tt)*) => { ... };
}