Avoid symbol duplication