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