static <A> void cppCopy(Collection<A> a, List<A> b) {
  ListIterator<A> it = b.listIterator();
  for (A x : a) {
    if (!it.hasNext()) fail("unexpected end of collection");
    it.next();
    it.set(x);
  }
}