112      bits64 a0, bits64 a1, int16 count, bits64 *z0Ptr, bits64 *z1Ptr )  in shift64ExtraRightJamming()
152      bits64 a0, bits64 a1, int16 count, bits64 *z0Ptr, bits64 *z1Ptr )  in shift128Right()
188      bits64 a0, bits64 a1, int16 count, bits64 *z0Ptr, bits64 *z1Ptr )  in shift128RightJamming()
241      bits64 a1,  in shift128ExtraRightJamming()
299      bits64 a0, bits64 a1, int16 count, bits64 *z0Ptr, bits64 *z1Ptr )  in shortShift128Left()
324      bits64 a1,  in shortShift192Left()
361      bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 *z0Ptr, bits64 *z1Ptr )  in add128()
385      bits64 a1,  in add192()
425      bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 *z0Ptr, bits64 *z1Ptr )  in sub128()
447      bits64 a1,  in sub192()
519      bits64 a1,  in mul128By64To192()
548      bits64 a1,  in mul128To256()
587 static bits64 estimateDiv128To64( bits64 a0, bits64 a1, bits64 b )  in estimateDiv128To64()
726 INLINE flag eq128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )  in eq128()
740 INLINE flag le128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )  in le128()
754 INLINE flag lt128( bits64 a0, bits64 a1, bits64 b0, bits64 b1 )  in lt128()