Macro check

macro_rules! check {
    ($e: expr, $c: expr) => { ... };
}