116    case  64: new.bits.u64 = ~0ull;  break;  in undefined_vbits()
117    case 128: new.bits.u128[0] = ~0ull;  in undefined_vbits()
118              new.bits.u128[1] = ~0ull;  in undefined_vbits()
120    case 256: new.bits.u256[0] = ~0ull;  in undefined_vbits()
121              new.bits.u256[1] = ~0ull;  in undefined_vbits()
122              new.bits.u256[2] = ~0ull;  in undefined_vbits()
123              new.bits.u256[3] = ~0ull;  in undefined_vbits()
269                new.bits.u128[1] = ~0ull;  in left_vbits()
276                new.bits.u128[0] = ~0ull;  in left_vbits()
286                new.bits.u256[1] = ~0ull;  in left_vbits()
287                new.bits.u256[2] = ~0ull;  in left_vbits()
288                new.bits.u256[3] = ~0ull;  in left_vbits()
297                new.bits.u256[0] = ~0ull;  in left_vbits()
298                new.bits.u256[1] = ~0ull;  in left_vbits()
299                new.bits.u256[2] = ~0ull;  in left_vbits()
321                new.bits.u128[1] = ~0ull;  in left_vbits()
333                new.bits.u128[0] = ~0ull;  in left_vbits()
351             new.bits.u256[2] = ~0ull;  in left_vbits()
352             new.bits.u256[3] = ~0ull;  in left_vbits()
365             new.bits.u256[0] = ~0ull;  in left_vbits()
366             new.bits.u256[1] = ~0ull;  in left_vbits()