Symbol: EXTRA_DOMAIN_NUMBERS