/******************************************************************************/
/*									      */
/* LEFT-SHIFT BY 16							      */
/* 11/15/06 (dkc)							      */
/*									      */
/******************************************************************************/
void shift16(unsigned int a0, unsigned a1, unsigned int a2, unsigned int a3,
	     unsigned int *output) {
a0=(a0<<16)|(a1>>16);
a1=(a1<<16)|(a2>>16);
a2=(a2<<16)|(a3>>16);
a3=a3<<16;
*output=a0;
*(output+1)=a1;
*(output+2)=a2;
*(output+3)=a3;
return;
}