static int[] arrayOfRandomInts(int n, Random random default defaultRandomizer()) {
  int[] data = new[n];
  for i to n: data[i] = randomInt(random);
  ret data;
}