x64 binary and test