Symbol: INT_TI