98      bits64 a0, bits64 a1, int16 count, bits64 *z0Ptr, bits64 *z1Ptr )  in shift64ExtraRightJamming()
135      bits64 a0, bits64 a1, int16 count, bits64 *z0Ptr, bits64 *z1Ptr )  in shift128Right()
170      bits64 a0, bits64 a1, int16 count, bits64 *z0Ptr, bits64 *z1Ptr )  in shift128RightJamming()
225      bits64 *z0Ptr,  in shift128ExtraRightJamming()
279      bits64 a0, bits64 a1, int16 count, bits64 *z0Ptr, bits64 *z1Ptr )  in shortShift128Left()
302      bits64 *z0Ptr,  in shortShift192Left()
333      bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 *z0Ptr, bits64 *z1Ptr )  in add128()
359      bits64 *z0Ptr,  in add192()
391      bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 *z0Ptr, bits64 *z1Ptr )  in sub128()
415      bits64 *z0Ptr,  in sub192()
443 INLINE void mul64To128( bits64 a, bits64 b, bits64 *z0Ptr, bits64 *z1Ptr )  in mul64To128()
478      bits64 *z0Ptr,  in mul128By64To192()
507      bits64 *z0Ptr,  in mul128To256()