shift64RightJamming
shift64RightJamming( ( (bits64) aSig ) * bSig, 32, &zSig64 );
if ( 0 < shiftCount ) shift64RightJamming( aSig, shiftCount, &aSig );
if ( 0 < shiftCount ) shift64RightJamming( aSig, shiftCount, &aSig );
shift64RightJamming( aSig, 22, &aSig );
shift64RightJamming( bSig, expDiff, &bSig );
shift64RightJamming( aSig, - expDiff, &aSig );
shift64RightJamming( aSig, - expDiff, &aSig );
shift64RightJamming( bSig, expDiff, &bSig );
shift64RightJamming( zSig, 1, &zSig );
shift64RightJamming( aSig, shiftCount, &aSig );
shift64RightJamming( aSig, 33, &aSig );
shift64RightJamming( aSig, 1, &zSig );
shift64RightJamming( zSig, - zExp, &zSig );
shift64RightJamming( zSig0, 1 - zExp, &zSig0 );
if ( 0 < shiftCount ) shift64RightJamming( zSig, shiftCount, &zSig );
shift64RightJamming(aSig, -expDiff, &aSig);
shift64RightJamming(bSig, expDiff, &bSig);
shift64RightJamming(bSig, expDiff, &bSig);
shift64RightJamming(aSig, -expDiff, &aSig);
shift64RightJamming(zSig, -zExp, &zSig);
void shift64RightJamming(bits64 a, int16 count, bits64 * zPtr);
shift64RightJamming(((unsigned long long)aSig) * bSig, 32, &zSig64);
shift64RightJamming( aSig, 22, &aSig );