Simplify tracing for the x64 spec function.
Add support for x86-64 assembly code. Based on NASM syntax, as opposed to AT&T (which is the default for gas).
Missing files from last commit.