macro_rules! debug_power_assert {
    ($l: expr, $op: tt, $r: expr) => { ... };
    ($ex: expr) => { ... };
}