Symbol: INT_CMD