typedef int xsd__int