Macro validate

macro_rules! validate {
    ($x: expr) => { ... };
    ($x: expr => $y: expr) => { ... };
}