macro_rules! checked_range {
    ($x:expr; <= $y:expr) => { ... };
    ($x:ident <= $y:ident) => { ... };
}