Symbol: INT_NONE