Macro machine::static_trans_impl

macro_rules! static_trans_impl {
    ($machine:ident, $state:ident, {$($field : ident),*}, $name:ident => $next:ident;) => { ... };
    ($machine:ident, $state:ident, {$($field : ident),*}, $name:ident ( $( $arg:ident : $t:ty ),* ) => $next:ident $b:block; ) => { ... };
    ($machine:ident, $state:ident, {$($field : ident),*}, $name:ident => $next:ident $b:block;) => { ... };
}