asm: 32to64 examples with nasm and gas