use64

adc	eax, ebx