Symbol: add_addrs