Symbol: mp_msub