/******************************************************************************
*									      *
*  64-BIT ADD								      *
*  01/12/07 (dkc)							      *
*									      *
******************************************************************************/
unsigned int carry(unsigned int a, unsigned int b, unsigned int sum);
void add64(unsigned int *a, unsigned int *b) {
unsigned int high0,high1,low0,low1,templo,temphi,c;
high0=*a;
low0=*(a+1);
high1=*b;
low1=*(b+1);
templo=low0+low1;
c=carry(low0,low1,templo);
temphi=high0+high1+c;
*b=temphi;
*(b+1)=templo;
return;
}