140    WordVec;  typedef
155       WordVec** ix2vec; /* WordSet-to-WordVec mapping array */
158       WordVec** ix2vec_free;
186 static WordVec* new_WV_of_size ( WordSetU* wsu, UWord sz )  in new_WV_of_size()
188    WordVec* wv;  in new_WV_of_size()
190    wv = wsu->alloc( wsu->cc, sizeof(WordVec) );  in new_WV_of_size()
200 static void delete_WV ( WordVec* wv )  in delete_WV()
209    delete_WV( (WordVec*)wv );  in delete_WV_for_FM()
215    WordVec* wv1    = (WordVec*)wv1W;  in cmp_WordVecs_for_FM()
216    WordVec* wv2    = (WordVec*)wv2W;  in cmp_WordVecs_for_FM()
242    WordVec** new_vec;  in ensure_ix2vec_space()
248    new_vec = wsu->alloc( wsu->cc, new_sz * sizeof(WordVec*) );  in ensure_ix2vec_space()
260 static inline Bool is_dead ( WordSetU* wsu, WordVec* wv )  in is_dead()
265       return (WordVec**)wv >= &(wsu->ix2vec[1])   in is_dead()
266          &&  (WordVec**)wv < &(wsu->ix2vec[wsu->ix2vec_size]);  in is_dead()
272 static WordVec* do_ix2vec ( WordSetU* wsu, WordSet ws )  in do_ix2vec()
274    WordVec* wv;  in do_ix2vec()
290 static WordVec* do_ix2vec_with_dead ( WordSetU* wsu, WordSet ws )  in do_ix2vec_with_dead()
292    WordVec* wv;  in do_ix2vec_with_dead()
312 static WordSet add_or_dealloc_WordVec( WordSetU* wsu, WordVec* wv_new )  in add_or_dealloc_WordVec()
315    WordVec* wv_old;  in add_or_dealloc_WordVec()
334       tl_assert(is_dead(wsu,(WordVec*)wsu->ix2vec_free));  in add_or_dealloc_WordVec()
337       wsu->ix2vec_free = (WordVec **) wsu->ix2vec[ws];  in add_or_dealloc_WordVec()
362    WordVec*  empty;  in HG_()
402    WordVec* wv = do_ix2vec( wsu, ws );  in HG_()
415    WordVec* wv;  in HG_()
424    WordVec* wv;  in HG_()
433    WordVec* wv;  in HG_()
450    WordVec* wv;  in HG_()
461    WordVec* wv = do_ix2vec_with_dead( wsu, ws );  in HG_()
462    WordVec* wv_in_vec2ix;  in HG_()
476    wsu->ix2vec[ws] = (WordVec*) wsu->ix2vec_free;  in HG_()
505    WordVec* wv;  in HG_()
526    WordVec* wv = do_ix2vec( wsu, ws );  in HG_()
537    WordVec* wv;  in HG_()
571    WordVec* wv;  in HG_()
608    WordVec* wv_new;  in HG_()
609    WordVec* wv;  in HG_()
649    WordVec* wv_new;  in HG_()
651    WordVec* wv = do_ix2vec( wsu, ws );  in HG_()
700    WordVec* wv_new;  in HG_()
701    WordVec* wv1 = do_ix2vec( wsu, ws1 );  in HG_()
702    WordVec* wv2 = do_ix2vec( wsu, ws2 );  in HG_()
771    WordVec* wv_new;  in HG_()
772    WordVec* wv1;   in HG_()
773    WordVec* wv2;   in HG_()
852    WordVec* wv_new;  in HG_()
853    WordVec* wv1;  in HG_()
854    WordVec* wv2;  in HG_()
928    WordVec* wv = do_ix2vec( wsu, ws );  in show_WS()