Symbol: __ADDR_MASK