Update x64_sequences.cc