fix test3 for x86_64-gen.c