Update exec64_test.cpp