/******************************************************************************
*									      *
*  SET THE LAST WORD OF 512 BITS					      *
*  03/28/10 (dkc)							      *
*									      *
******************************************************************************/
void set512(unsigned int *a, unsigned int b) {
*a=0;
*(a+1)=0;
*(a+2)=0;
*(a+3)=0;
*(a+4)=0;
*(a+5)=0;
*(a+6)=0;
*(a+7)=0;
*(a+8)=0;
*(a+9)=0;
*(a+10)=0;
*(a+11)=0;
*(a+12)=0;
*(a+13)=0;
*(a+14)=0;
*(a+15)=b;
return;
}