@Override
 public double[] toArray(double[] a) {
   synchronized (mutex) {
     return c.toArray(a);
   }
 }