Symbol: PTR_REG