static <A> void resizeCollection(List<A> l, A value, int size) {
  while (l(l) > size) l.remove(l(l)-1);
  while (l(l) < size) l.add(value);
}