Inline assembly example.
To be used with GCC in a 64 bit IA32-64 machine.