33 adcl $0, %eax  label
34 adcl $0, %edi  label
35 adcl $0, (%rax)  label
37 adcl $665536, %eax  label
38 adcl $665536, %edi  label
39 adcl $665536, (%rax)  label
41 adcl $7, %edi  label
42 adcl $7, (%rax)  label
44 adcl %esi, %edi  label
45 adcl %esi, (%rax)  label
47 adcl (%rax), %edi  label