Symbol: s_mp_sub_3arg