43    BITSET_ZERO(mask128);  in TEST()
73    BITSET_ZERO(mask128);  in TEST()
95    BITSET_ZERO(mask128);  in TEST()
115    BITSET_ZERO(mask128);  in TEST()
136    BITSET_ZERO(r);  in TEST()
137    BITSET_ZERO(a);  in TEST()
138    BITSET_ZERO(b);  in TEST()
174    BITSET_ZERO(r);  in TEST()
175    BITSET_ZERO(a);  in TEST()
176    BITSET_ZERO(b);  in TEST()
212    BITSET_ZERO(r);  in TEST()
237    BITSET_ZERO(r);  in TEST()
253    BITSET_ZERO(r);  in TEST()
269    BITSET_ZERO(r);  in TEST()
287    BITSET_ZERO(r);  in TEST()
305    BITSET_ZERO(r);  in TEST()
313    BITSET_ZERO(r);  in TEST()
321    BITSET_ZERO(r);  in TEST()
333    BITSET_ZERO(r);  in TEST()
341    BITSET_ZERO(r);  in TEST()
349    BITSET_ZERO(r);  in TEST()
361    BITSET_ZERO(r);  in TEST()
375    BITSET_ZERO(r);  in TEST()
388    BITSET_ZERO(r);  in TEST()