<xsd:complexType name="CT_NumRestart"> <xsd:attribute name="val" type="ST_RestartNumber" use="required"/> </xsd:complexType>