New backend: x86-64