implement addr_cntr and branch