699    UWord    i1, i2, k, sz;  in HG_()  local
705    i1 = i2 = 0;  in HG_()
707       if (i1 >= wv1->size || i2 >= wv2->size)  in HG_()
710       if (wv1->words[i1] < wv2->words[i2]) {  in HG_()
713       if (wv1->words[i1] > wv2->words[i2]) {  in HG_()
714          i2++;  in HG_()
717          i2++;  in HG_()
721    tl_assert(i2 <= wv2->size);  in HG_()
722    tl_assert(i1 == wv1->size || i2 == wv2->size);  in HG_()
723    if (i1 == wv1->size && i2 < wv2->size) {  in HG_()
724       sz += (wv2->size - i2);  in HG_()
726    if (i2 == wv2->size && i1 < wv1->size) {  in HG_()
733    i1 = i2 = 0;  in HG_()
735       if (i1 >= wv1->size || i2 >= wv2->size)  in HG_()
737       if (wv1->words[i1] < wv2->words[i2]) {  in HG_()
741       if (wv1->words[i1] > wv2->words[i2]) {  in HG_()
742          wv_new->words[k++] = wv2->words[i2];  in HG_()
743          i2++;  in HG_()
747          i2++;  in HG_()
751    tl_assert(i2 <= wv2->size);  in HG_()
752    tl_assert(i1 == wv1->size || i2 == wv2->size);  in HG_()
753    if (i1 == wv1->size && i2 < wv2->size) {  in HG_()
754       while (i2 < wv2->size)  in HG_()
755          wv_new->words[k++] = wv2->words[i2++];  in HG_()
757    if (i2 == wv2->size && i1 < wv1->size) {  in HG_()
769    UWord    i1, i2, k, sz;  in HG_()  local
794    i1 = i2 = 0;  in HG_()
796       if (i1 >= wv1->size || i2 >= wv2->size)  in HG_()
798       if (wv1->words[i1] < wv2->words[i2]) {  in HG_()
801       if (wv1->words[i1] > wv2->words[i2]) {  in HG_()
802          i2++;  in HG_()
806          i2++;  in HG_()
810    tl_assert(i2 <= wv2->size);  in HG_()
811    tl_assert(i1 == wv1->size || i2 == wv2->size);  in HG_()
816    i1 = i2 = 0;  in HG_()
818       if (i1 >= wv1->size || i2 >= wv2->size)  in HG_()
820       if (wv1->words[i1] < wv2->words[i2]) {  in HG_()
823       if (wv1->words[i1] > wv2->words[i2]) {  in HG_()
824          i2++;  in HG_()
828          i2++;  in HG_()
832    tl_assert(i2 <= wv2->size);  in HG_()
833    tl_assert(i1 == wv1->size || i2 == wv2->size);  in HG_()
850    UWord    i1, i2, k, sz;  in HG_()  local
863    i1 = i2 = 0;  in HG_()
865       if (i1 >= wv1->size || i2 >= wv2->size)  in HG_()
867       if (wv1->words[i1] < wv2->words[i2]) {  in HG_()
871       if (wv1->words[i1] > wv2->words[i2]) {  in HG_()
872          i2++;  in HG_()
875          i2++;  in HG_()
879    tl_assert(i2 <= wv2->size);  in HG_()
880    tl_assert(i1 == wv1->size || i2 == wv2->size);  in HG_()
881    if (i2 == wv2->size && i1 < wv1->size) {  in HG_()
888    i1 = i2 = 0;  in HG_()
890       if (i1 >= wv1->size || i2 >= wv2->size)  in HG_()
892       if (wv1->words[i1] < wv2->words[i2]) {  in HG_()
896       if (wv1->words[i1] > wv2->words[i2]) {  in HG_()
897          i2++;  in HG_()
900          i2++;  in HG_()
904    tl_assert(i2 <= wv2->size);  in HG_()
905    tl_assert(i1 == wv1->size || i2 == wv2->size);  in HG_()
906    if (i2 == wv2->size && i1 < wv1->size) {  in HG_()