Symbol: ADDR_HIGH