initial x86_64 syntax -- functional, but not complete