docs: private void checkIndex(int index)
    {
      if (index < 0) {
        throw new IAE("Index[%s] < 0", index);
      }
      if (index >= size) {
        throw new IAE("Index[%d] >= size[%d]", index, size);
      }
    }