Symbol: mergeq_fini