claim
macro_rules! debug_assert_gt { ($($arg:tt)*) => { ... }; }
Asserts that first expression is greater than the second in runtime.