/******************************************************************************
*									      *
*  512-BIT COPY 							      *
*  03/28/10 (dkc)							      *
*									      *
******************************************************************************/
void copy512(unsigned int *a, unsigned int *b) {
*b=*a;
*(b+1)=*(a+1);
*(b+2)=*(a+2);
*(b+3)=*(a+3);
*(b+4)=*(a+4);
*(b+5)=*(a+5);
*(b+6)=*(a+6);
*(b+7)=*(a+7);
*(b+8)=*(a+8);
*(b+9)=*(a+9);
*(b+10)=*(a+10);
*(b+11)=*(a+11);
*(b+12)=*(a+12);
*(b+13)=*(a+13);
*(b+14)=*(a+14);
*(b+15)=*(a+15);
return;
}