#include <stdio.h>
#include <intrin.h>

static void Add(uintptr_t* Source, uintptr_t* Dest, size_t n)
{
	unsigned char Carry = 0;
	for (size_t i = 0; i < n; i++)
	{
#ifdef __x86_64__
		Carry = _addcarry_u64(Carry, Source[i], *Dest, Dest);
#else
		Carry = _addcarry_u32(Carry, Source[i], *Dest, Dest);
#endif
		Dest++;
	}
	while (Carry != 0)
	{
#ifdef __x86_64__
		Carry = _addcarry_u64(Carry, 0, *Dest, Dest);
#else
		Carry = _addcarry_u32(Carry, 0, *Dest, Dest);
#endif
		Dest++;
	}
}

int main()
{
   uintptr_t a[] = { -1, -1, -1, -1, 0 };
   uintptr_t b[] = { 1, 0, 0, 0, 0 };
   Add(b, a, 4);
   printf("%x %x %x %x %x\n", a[0], a[1], a[2], a[3], a[4]);
}