Symbol: si_mult_sat