macro_rules! open_local_invariant_internal {
($credit_expr:expr => $eexpr:expr => $iident:ident => $bblock:block) => { ... };
}
macro_rules! open_local_invariant_internal {
($credit_expr:expr => $eexpr:expr => $iident:ident => $bblock:block) => { ... };
}