Symbol: INT_0