56       UWord magic;
57       UWord words[256];
65       UWord magic;
74       UWord partial_key;
92 static inline UWord swa_bitarray_read ( const UChar* arr, UWord ix ) {  in swa_bitarray_read()
93    UWord bix = ix >> 3;  in swa_bitarray_read()
94    UWord off = ix & 7;  in swa_bitarray_read()
98 static inline UWord swa_bitarray_read_then_set ( UChar* arr, UWord ix ) {  in swa_bitarray_read_then_set()
99    UWord bix = ix >> 3;  in swa_bitarray_read_then_set()
100    UWord off = ix & 7;  in swa_bitarray_read_then_set()
107 static inline UWord swa_bitarray_read_then_clear ( UChar* arr, UWord ix ) {  in swa_bitarray_read_then_clear()
108    UWord bix = ix >> 3;  in swa_bitarray_read_then_clear()
109    UWord off = ix & 7;  in swa_bitarray_read_then_clear()
118 static void swa_PUSH ( SparseWA* swa, UWord partial_key, Int curr_ix,  in swa_PUSH()
133                       UWord* partial_key, Int* curr_ix,  in swa_POP()
177                        /*OUT*/UWord* keyP, /*OUT*/UWord* valP )  in VG_()
179    UWord p_key;  in VG_()
200    if (*(UWord*)curr_nd == Level0_MAGIC) {  in VG_()
206             *keyP = (p_key << 8) + (UWord)curr_ix;  in VG_()
216       vg_assert(*(UWord*)curr_nd == LevelN_MAGIC);  in VG_()
221             p_key = (p_key << 8) + (UWord)curr_ix;  in VG_()
256    if (*(UWord*)nd == LevelN_MAGIC) {  in swa_deleteSWA_wrk()
264       vg_assert(*(UWord*)nd == Level0_MAGIC);  in swa_deleteSWA_wrk()
277                       /*OUT*/UWord* valP,  in VG_()
278                       UWord key )  in VG_()
281    UWord   ix;  in VG_()
310 Bool VG_(addToSWA) ( SparseWA* swa, UWord key, UWord val )  in VG_()
313    UWord   ix;  in VG_()
368                        /*OUT*/UWord* oldV, UWord key )  in VG_()
371    UWord   ix;  in VG_()
377    UWord   visitedIx[_3_or_7];  in VG_()
433 static UWord swa_sizeSWA_wrk ( const void* nd )  in swa_sizeSWA_wrk()
436    if (*(const UWord*)nd == LevelN_MAGIC) {  in swa_sizeSWA_wrk()
437       UWord sum = 0;  in swa_sizeSWA_wrk()
447       vg_assert(*(const UWord*)nd == Level0_MAGIC);  in swa_sizeSWA_wrk()
452 UWord VG_(sizeSWA) ( const SparseWA* swa )  in VG_()