svoid test_restructure_syncLinkedList() {
  LS orig = synchronizedList(litlinkedlist("a", "b"));
  LS ll = cast restructure(orig);
  assertTrueVerbose(unwrapSynchronizedList(ll) instanceof LinkedList);
  assertEqualsVerbose(ll, orig);
}