Symbol: PTR_ADDRESS_MASK