Macro require_lte 

macro_rules! require_lte {
    ($a:expr, $b:expr, $err:expr) => { ... };
}

Require a <= b.