Macro check_exp 

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