Macro check 

macro_rules! check {
    ($span:expr, $condition:expr, $($fmt:tt)*) => { ... };
}