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