macro_rules! basic_blocks_iter {
    ($body:ident, mut, $invalidate:tt) => { ... };
    ($body:ident,) => { ... };
}