#source: ../x86-64-intel64.s
#as: -mintel64
#objdump: -dw
#name: x86-64 (ILP32) Intel64
#dump: ../x86-64-intel64.d