static float average(float a, float b) {
  ret (a+b)/2;
}

static double average(double a, double b) {
  ret (a+b)/2;
}