Macro check_call 

macro_rules! check_call {
    ($($f:ident)::+($ctx:expr $(, $arg:expr)*)) => { ... };
}