static void setBit(BitSet b, int bit) {
  b.set(bit);
}