Macro fuzz_assert_le 

macro_rules! fuzz_assert_le {
    ($left:expr, $right:expr $(,)?) => { ... };
    ($left:expr, $right:expr, $($arg:tt)+) => { ... };
}

Assert a <= b