Symbol: s_mp_add_3arg