static ArrayList smallEmptyList() {
  ret new ArrayList(0);
}