Symbol: __mulsi3