static void fillDoubleArray(double[] a, double value) {
  Arrays.fill(a, value);
}