1 #include <stdio.h>
2 
3 int
main(void)4 main (void)
5 {
6   long rcx = 0x200000005UL;
7   long rax = 5UL;
8   asm volatile ("1: addq $1, %0; loopnel 1b" : "+a" (rax), "+c" (rcx) : : "cc");
9   printf ("%ld %ld\n", rax, rcx);
10   return 0;
11 }
12