xp_x64 is working correctly