Macro check 

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