@Test
public void testIntVec() throws Exception {

  checkIntVec(random(0));
  checkIntVec(random(1));
  checkIntVec(random(2));
  checkIntVec(random(3));
  checkIntVec(random(IntVec.DEFAULT_CAPACITY - 2));
  checkIntVec(random(IntVec.DEFAULT_CAPACITY - 1));
  checkIntVec(random(IntVec.DEFAULT_CAPACITY));
  checkIntVec(random(IntVec.DEFAULT_CAPACITY + 1));
  checkIntVec(random(IntVec.DEFAULT_CAPACITY + 2));
  for (int i = 0; i < 100; i++) {
    checkIntVec(random());
  }
}