Symbol: INT_MULT