svoid test_timSortIntArray_allSizes(int max default 100000) {
  for n to max: {
    ping();
    print(n);
    test_timSortIntArray(n);
  }
}