100     bits64 z0, z1;  in shift64ExtraRightJamming()  local
105         z0 = a0;  in shift64ExtraRightJamming()
109         z0 = a0>>count;  in shift64ExtraRightJamming()
118         z0 = 0;  in shift64ExtraRightJamming()
121     *z0Ptr = z0;  in shift64ExtraRightJamming()
137     bits64 z0, z1;  in shift128Right()  local
142         z0 = a0;  in shift128Right()
146         z0 = a0>>count;  in shift128Right()
150         z0 = 0;  in shift128Right()
153     *z0Ptr = z0;  in shift128Right()
172     bits64 z0, z1;  in shift128RightJamming()  local
177         z0 = a0;  in shift128RightJamming()
181         z0 = a0>>count;  in shift128RightJamming()
193         z0 = 0;  in shift128RightJamming()
196     *z0Ptr = z0;  in shift128RightJamming()
230     bits64 z0, z1, z2;  in shift128ExtraRightJamming()  local
236         z0 = a0;  in shift128ExtraRightJamming()
242             z0 = a0>>count;  in shift128ExtraRightJamming()
260             z0 = 0;  in shift128ExtraRightJamming()
266     *z0Ptr = z0;  in shift128ExtraRightJamming()
307     bits64 z0, z1, z2;  in shortShift192Left()  local
312     z0 = a0<<count;  in shortShift192Left()
316         z0 |= a1>>negCount;  in shortShift192Left()
320     *z0Ptr = z0;  in shortShift192Left()
364     bits64 z0, z1, z2;  in add192()  local
371     z0 = a0 + b0;  in add192()
373     z0 += ( z1 < carry1 );  in add192()
374     z0 += carry0;  in add192()
377     *z0Ptr = z0;  in add192()
420     bits64 z0, z1, z2;  in sub192()  local
427     z0 = a0 - b0;  in sub192()
428     z0 -= ( z1 < borrow1 );  in sub192()
430     z0 -= borrow0;  in sub192()
433     *z0Ptr = z0;  in sub192()
446     bits64 z0, zMiddleA, zMiddleB, z1;  in mul64To128()  local
455     z0 = ( (bits64) aHigh ) * bHigh;  in mul64To128()
457     z0 += ( ( (bits64) ( zMiddleA < zMiddleB ) )<<32 ) + ( zMiddleA>>32 );  in mul64To128()
460     z0 += ( z1 < zMiddleA );  in mul64To128()
462     *z0Ptr = z0;  in mul64To128()
483     bits64 z0, z1, z2, more1;  in mul128By64To192()  local
486     mul64To128( a0, b, &z0, &more1 );  in mul128By64To192()
487     add128( z0, more1, 0, z1, &z0, &z1 );  in mul128By64To192()
490     *z0Ptr = z0;  in mul128By64To192()
513     bits64 z0, z1, z2, z3;  in mul128To256()  local
519     mul64To128( a0, b0, &z0, &more1 );  in mul128To256()
520     add128( z0, more1, 0, z1, &z0, &z1 );  in mul128To256()
523     add128( z0, z1, 0, more1, &z0, &z1 );  in mul128To256()
527     *z0Ptr = z0;  in mul128To256()