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