190      uint64_t a0, uint64_t a1, int count, uint64_t *z0Ptr, uint64_t *z1Ptr)  in shift64ExtraRightJamming()
227      uint64_t a0, uint64_t a1, int count, uint64_t *z0Ptr, uint64_t *z1Ptr)  in shift128Right()
262      uint64_t a0, uint64_t a1, int count, uint64_t *z0Ptr, uint64_t *z1Ptr)  in shift128RightJamming()
318      uint64_t *z1Ptr,  in shift128ExtraRightJamming()
370                                      uint64_t *z0Ptr, uint64_t *z1Ptr)  in shortShift128Left()
384                                 uint64_t *z0Ptr, uint64_t *z1Ptr)  in shift128Left()
410      uint64_t *z1Ptr,  in shortShift192Left()
439                           uint64_t *z0Ptr, uint64_t *z1Ptr)  in add128()
456                           uint64_t *z0Ptr, uint64_t *z1Ptr, uint64_t *z2Ptr)  in add192()
473                           uint64_t *z0Ptr, uint64_t *z1Ptr)  in sub128()
490                           uint64_t *z0Ptr, uint64_t *z1Ptr, uint64_t *z2Ptr)  in sub192()
505 mul64To128(uint64_t a, uint64_t b, uint64_t *z0Ptr, uint64_t *z1Ptr)  in mul64To128()
519                 uint64_t *z0Ptr, uint64_t *z1Ptr, uint64_t *z2Ptr)  in mul128By64To192()
537                                uint64_t *z0Ptr, uint64_t *z1Ptr,  in mul128To256()