static int[] repIntArray(int value, int n) {
  int[] a = new[n];
  for i to n: a[i] = value;
  ret a;
}