macro_rules! assert_gt { ($x:expr, $y:expr) => { ... }; }
Asserts that the first argument is strictly greater than the second.