Symbol: PTR2INT