typedef char* xsd__string