Fix x86-64 example
Add x86-64 NASM example, fix gas example.