Symbol: mergeq_thr_merge