Symbol: ADDR2STATE