Macro with_first_addr 

macro_rules! with_first_addr {
    ($arg: expr, $env: expr, $addr: ident, $block: tt) => { ... };
}