Symbol: merge_final