using 64bit xsd