static doubleAverage(int[] a) {
  double sum = 0;
  for i over a:
    sum += a;
  ret sum/l(a);
}