// pass an empty instance
svoid test_List(L<S> l, O... _) {
  // Simple test
  
  optPar int n = 1000;
  optPar int idLength = 5;
  
  assertEqualsVerbose(0, l.size());
  for (int i = -1; i < 2; i++) { int _i = i ; assertException(r { l.get(_i) }); }
  l.add("hello");
  assertEqualsVerbose(1, l.size());
  assertException(r { l.get(-1) });
  assertEqualsVerbose("hello", l.get(0));
  assertException(r { l.get(1) });
  
  Random random = predictableRandom();
  
  // n random insertions, complete check
  
  new LS refl;
  l.clear();
  repeat n {
    int i = random(random, l(refl)+1);
    S id = randomID(random, idLength);
    print("add " + i + " " + id);
    refl.add(i, id);
    l.add(i, id);
    assertEquals(l(l), l(refl));
  }
  assertEqualsVerbose(l(l), l(refl));
  for i over refl:
    assertEquals(l.get(i), refl.get(i));
    
  // overwriting
  repeat n {
    int i = random(random, l(refl));
    S id = randomID(random);
    print("set " + i + " " + id);
    assertEquals(l.set(i, id), refl.set(i, id));
    assertEquals(l(l), l(refl));
  }
    
  // n random deletions, check after each turn
  repeat n {
    int i = random(random, l(refl));
    print("remove " + i);
    assertEquals(l.remove(i), refl.remove(i));
    assertEqualsVerbose(l(l), l(refl));
    for j over refl:
      assertEquals(l.get(j), refl.get(j));
  }
  
  test_List_2(l, _);
  
  infoBox(className(l) + " works (tested up to size " + n + ")! :)");
}