/*****************************************************************************/
/*									     */
/*  RIGHT-SHIFT 64 BITS 						     */
/*  10/16/09 (dkc)							     */
/*									     */
/*****************************************************************************/
void shift(unsigned int A[2], unsigned int B[2], unsigned int shift) {
unsigned int temp;

B[0]=A[0];
B[1]=A[1];
while (shift>31) {
   B[1]=B[0];
   B[0]=0;
   shift=shift-32;
   }
if (shift==0)
   return;

B[1]=B[1]>>shift;
temp=B[0]<<(32-shift);
B[1]=B[1]|temp;

B[0]=B[0]>>shift;
return;
}