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