#include "int64.h"
#include <stdio.h>
extern int add_64(int64 *dest, int64 *src1, int64 *src2);

int main()
{
int carry;
int64 a, b, c;

a.lo = 1;
a.hi = 2;
b.lo = -1;
b.hi = 4;
carry = add_64(&c, &a, &b);


printf("c=%8x%8x\n",c.hi,c.lo);
}