Symbol: PORT_SPEC_TAG