Symbol: merge_extensions