Converting AMD64 to x86_64