code: public void add(int ele) {
          int idx;
  
          idx = ele >> SHIFT;
          if (idx >= data.length) {
              resize(idx + 1 + GROW);
          }
          data[ele >> SHIFT] |= (1 << ele);
      }
docs: Add an element.
  @param  ele  the element to add