typedef unsigned short int xsd__unsignedShort