Symbol: INT_PROMOTE