static void fillArray(int[] a, int value) {
  Arrays.fill(a, value);
}