!7

p-exp {
  final TArray<O> a = widen(TArray(S));
  print("Size of empty TArray: " + exclusive_measureSizeOfObject(func { new TArray(S) }));
  print("Size of empty ArrayList: " + exclusive_measureSizeOfObject(func { new L }));
  printObjectLayout(a);
  
  a.add("hello");
  assertTrue(a.contains("hello"));
  assertEquals("hello", a.get(0));
  assertEquals(1, l(a));
  assertException(r { a.add(5); });
  assertException(r { a.add(null); }); // not allowed either
  a.remove(0);
  assertEquals(0, l(a));
}