use Arena in ir