Macro funfsm::check

macro_rules! check {
    ($err:expr, $predicate:expr) => { ... };
}